Integrating Requirements Engineering, Modeling, and Verification Technologies into Software and Systems Engineering
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 28, 2007
- Accession Number
- ADA482377
Entities
People
- Manfred Broy
- Martin Leucker