A logical basis for modular software and systems engineering

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations


We introduce a logical and mathematical theory for the specification of system components and the typical steps of the development process. In particular, we identify three patterns of development ∙ refinement within one level of abstraction, ∙ transition from one level of abstraction to the other, ∙ implementation by glass box refinement. We introduce refinement relations to capture these three dimensions of the development space. We give verification conditions for these refinement steps. In this way, a logical basis for the development of systems is described.

Original languageEnglish
Title of host publicationSOFSEM 1998
Subtitle of host publicationTheory and Practice of Informatics - 25th Conference on Current Trends in Theory and Practice of Informatics, Proceedings
EditorsBranislav Rovan
PublisherSpringer Verlag
Number of pages17
ISBN (Print)3540652604, 9783540652601
StatePublished - 1998
Event25th Conference on Theory and Practice of Informatics, SOFSEM 1998 - Jasna, Slovakia
Duration: 21 Nov 199827 Nov 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th Conference on Theory and Practice of Informatics, SOFSEM 1998


Dive into the research topics of 'A logical basis for modular software and systems engineering'. Together they form a unique fingerprint.

Cite this