| << 7 Podsumowanie | Spis treści |
|
Bibliografia [1] M. Engel, M. Iglewski, J. Mincer-Daszkiewicz. Using PVS to Verify TAM Specifications on Interface and Internal Design Levels, praca w maszynopisie. [2] M. Engel. Badanie Poprawności Specyfikacji Tropowych, praca doktorska (w przygotowaniu), Uniwersytet Warszawski 1999.[3] M. Iglewski, J. Mincer-Daszkiewicz. Internal design of modules specified in the trace assertion method. Science of Computer Programming, 28 (1997) 139-170. [4] M. Iglewski, M. Kubica, J. Madey, J. Mincer-Daszkiewicz, K. Stencel. TAM'97: the Trace Assertion Method of Module Interface Specyfication. Reference Manual TR 97-01 (238), Institute od Informatics, Warsaw University, January 1997. [5] C. Jones. Konstruowanie oprogramowania metodą systematyczną. Warszawa, WNT 1984.[6] A. Kret. Strategie dowodzenia specyfikacji tropowych. Praca magisterska, Uniwersytet Warszawski 1998. [7] S. Owre, N. Shankar, J. Rushby, D.W.J Stringer Calvert. PVS Language Reference Version 2.2 . Computer Science Laboratory, SRI International, Menlo Park, CA 94025, September 1998, dostępne pod adresem: http://www.csl.sri.com/pvs.html.[8] S. Owre, N. Shankar, J. Rushby, D.W.J Stringer Calvert. PVS System Guide Version 2.2. Computer Science Labor atory, SRI International, Menlo Park, CA 94025, September 1998, dostępne pod adresem: http://www.csl.sri.com/pvs.html.[9] D.L. Parnas, J. Madey. Functional documents for computer system. Science of Computer Programming, 25 (1): 41-61, 1995 [10] D.L Parnas, J. Madey, M. Iglewski Precise Documentation of wellstructured programs. IEEE Transactions of Software Engineering, vol. 20, nr 12, December 1994 [11] D.L Parnas, Y. Wang The Trace Assertion Method of Module Interface Specyfication. Technical Report 89-261, Queen's University, Kingston, Ontario K7L3N6
| |
| << 7 Podsumowanie | Spis treści |
|