SpringerLink - Book Chapter

A Logical Basis for Modular Software and Systems Engineering

Book Series

Lecture Notes in Computer Science

Publisher

Springer Berlin / Heidelberg

ISSN

0302-9743 (Print) 1611-3349 (Online)

Volume

Volume 1521/1998

Book

SOFSEM’ 98: Theory and Practice of Informatics

DOI

10.1007/3-540-49477-4

1998

ISBN

978-3-540-65260-1

DOI

10.1007/3-540-49477-4_2

Pages

19-35

Subject Collection

Computer Science

SpringerLink Date

Thursday, January 01, 1998

A Logical Basis for Modular Software and Systems Engineering

Manfred Broy⁵

(5)	Institut für Informatik, Technische UniversitÄt München, D-80290 München, Germany

Abstract

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.

This work was carried out within the Forschungsverbund ForSoft, sponsored by the Bayerische Forschungsstiftung and the project SysLab sponsored by Siemens-Nixdorf and partially supported by the Deutsche Forschungsgemeinschaft under the Leibniz program.

A Logical Basis for Modular Software and Systems Engineering

Fulltext Preview (Small, Large)