Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper

• Autorzy: Mirkowska G. , Salwicki A. , Świda O.
• Języki publikacji: EN

Abstrakty

EN

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

EN

verification of algorithms; specification

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 1--17
• Opis fizyczny: bibliogr. 11 poz., tab.

Twórcy

autor

Mirkowska G.

autor

Salwicki A.

autor

Świda O.

• National Institute of Telecommunications, Szchowa 1, 04-894 Warsaw, Poland,

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.