Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: verification of algorithms

Sortuj według:

Ogranicz wyniki do:

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

Mirkowska G., Salwicki A., Świda O.

Fundamenta Informaticae

2008

Vol. 85, nr 1-4

1-17

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.