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

Authors:
Grażyna Mirkowska;Andrzej Salwicki;Oskar Swida
Affiliations:
Polish-Japanese Institute of Computer Technology Koszykowa 86, 02-097 Warszawa, Poland. mirkowska@pjwstk.edu.pl;(Correspd.) 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
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2008

Citing 6
Cited 0

The algebraic specifications do not have the Tennenbaum property

Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods
Algorithmic Logic

Algorithmic Logic
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
First-Order Specifications of Programmable Data Types

SIAM Journal on Computing
Logic versus Magic in Critical Systems

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

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].