We introduce a logical and mathematical theory for the speci-
fication of system components and the typical steps of the development
process. In particular, we identify three patterns of development
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.
CV:
Prof. Dr. Manfred Broy is full professor of computing science at the
Technical University of Munich. His research interests are
software and systems engineering comprising both theoretical and
practical aspects. This includes system models, specification and
refinement of system components, specification techniques,
development methods and verification. He is leading a research
group working in a number of industrial projects that try to apply
mathematically based techniques and to combine practical approaches
to software engineering with mathematical rigor.
Professor Broy is a member of the European Academy of Sciences.
In 1994 he received the Leibniz Award by the Deutsche Forschungs
Gemeinschaft.