Integrating Requirements Engineering, Modeling, and Verification Technologies into Software and Systems Engineering; Final rept. 1 Aug 2003-31 Jul 2007

摘要

The objective of this project is the development of an integrated suite of technologies focusing on end-to-end software development supporting requirements analysis, design, implementation, and verification. This final progress report summarizes the work that has been performed within this project. It contains an overview about the project's achievements in respect to original problem statement, the technical work of the related work packages, and reports on our cooperation with leading US institutes.