Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Our aim is to present a methodology that integrates all phases of software's production beginning from the specification phase, through the phase of programming and finally the phase of verification of program against its specification. The theoretical background of the methodology is algorithmic logic [8]. The environment for practical activities of this software project is a plugin SpecVer [11] extending the Eclipse system.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
1--17
Opis fizyczny
bibliogr. 11 poz., tab.
Twórcy
autor
autor
autor
- National Institute of Telecommunications, Szchowa 1, 04-894 Warsaw, Poland, salwicki@mimuw.edu.pl
Bibliografia
- [1] Collins Cobuild English Languge Dictionary, Collins, 1987.
- [2] Abreu, J., Vasconcelos, V. T., Nunes, I., Lopes, A., Reis, L. S., Caldeira, A.: ConGu, The Specification and the Refinement Languages, http://labmol.di.fc.ul.pt/congu/,March 2007.
- [3] Amey, P.: Logic versusMagic, Critical Systems, Reliable Software Technologies - Ada Europe 2001, LNCS, Springer, Berlin, 2001.
- [4] Barnes, J.: High Integrity Software, Addison-Wesley, London, 2006.
- [5] Diller, A.: Z: An Introduction to Formal Methods, J. Wiley, Chichester, 1990.
- [6] Ehrig, H., Mahr, G., Eds.: Fundamentals of Algebraic Specification 1, Springer, 1985.
- [7] Hoare, C.: Proof of correctness of data representation, Acta Informatica, 1, 1972, 271-281.
- [8] Mirkowska, G., Salwicki, A.: Algorithmic Logic, PWN & D.Reidel,Warszawa, 1987, ISBN 90-277-1928-4.
- [9] Mirkowska, G., Salwicki, A.: The Algebraic Specification do not have the Tennenbaum property, Fundamenta Informaticae, 28, 1996, 141-152.
- [10] Mirkowska, G., Salwicki, A., Srebrny, M., Tarlecki, A.: First-Order Specifications of Programmable Data Types, SIAM Journal on Computing, 30, 2000, 2084-2096.
- [11] Świda, O.: SpecVer - Specification, Programming and Verification - a plugin into Eclipse, http://aragorn.pb.bialystok.pl/_swida/svp, 2007.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS5-0016-0001