TY - GEN
T1 - A logical basis for modular software and systems engineering
AU - Broy, Manfred
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1998.
PY - 1998
Y1 - 1998
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=79951631683&partnerID=8YFLogxK
U2 - 10.1007/3-540-49477-4_2
DO - 10.1007/3-540-49477-4_2
M3 - Conference contribution
AN - SCOPUS:79951631683
SN - 3540652604
SN - 9783540652601
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 19
EP - 35
BT - SOFSEM 1998
A2 - Rovan, Branislav
PB - Springer Verlag
T2 - 25th Conference on Theory and Practice of Informatics, SOFSEM 1998
Y2 - 21 November 1998 through 27 November 1998
ER -