Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Mirkowska, Grażyna | Salwicki, Andrzej | Swida, Oskar

Affiliations: Polish-Japanese Institute of Computer Technology Koszykowa 86, 02-097 Warszawa, Poland. mirkowska@pjwstk.edu.pl | National Institute of Telecomunication Szachowa 1, 04-894 Warszawa, Poland. salwicki@mimuw.edu.pl | Białystok University of Technology, Department of Computer Science Wiejska 45A, 15-351 Białystok, Poland Oskar. Swida@gmail.com

Note: [] Address for correspondence: National Institute of Telecomunication, Szachowa 1, 04-894 Warszawa, Poland

Abstract: 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 development platform [2].

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 1-17, 2008