Tool Support for System Specification, Development and Verification /

The correct development of large software systems demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate and precise mathematical formalization. Prototyping can be used as a means for c...

Full description

Bibliographic Details

Main Author:	Berghammer, Rudolf
Corporate Author:	SpringerLink (Online service)
Other Authors:	Lakhnech, Y. (Yassine)
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna, 1999.
Series:	Advances in computing science.
Subjects:	Computer science. Software engineering. Algebra > Data processing. Computer simulation. Electronic books.
Online Access:	Connect to the full text of this electronic book