Department of Informatics

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

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


Journal:Computer Science Today
Author:Manfred Broy
Editor:J. van Leeuwen
Pages:292 - 306
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.

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