Tool Support for System Specification, Development and Verification

by Rudolf Berghammer

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 function…