Accession Number:

ADA482377

Title:

Integrating Requirements Engineering, Modeling, and Verification Technologies into Software and Systems Engineering

Descriptive Note:

Final rept. 1 Aug 2003-31 Jul 2007

Corporate Author:

TECHNISCHE UNIV MUNICH (GERMANY F R) INST FUER INFORMATIK

Personal Author(s):

Report Date:

2007-10-28

Pagination or Media Count:

27.0

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 projects achievements in respect to original problem statement, the technical work of the related work packages, and reports on our cooperation with leading US institutes.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE