Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei  Mathematical System Models as a Basis of Software Engineering

Article

Journal:Computer Science Today
Author:Manfred Broy
Editor:J. van Leeuwen
Pages:292 - 306
Publisher:Springer
Year:1995
Abstract:We give mathematical system models as a basis for system specification, system development by refinement, and system implementation. It provides a simple homogeneous mathematical and logical foundation of software and systems engineering. We treat mathematical concepts of refinement through levels of abstraction and complementing system views as they are used in software engineering. The goal is to give a coherent and simple mathematical basis.
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact