Papers 1999
Procurement of a SDL Model for Behavioural Validation of MSL
Date | 9 Nov 1999 |
---|
This is the final report of the ESA study on behavioural validation of MSL.
Permalink
Files
A Method for the Incremental Software Development and Validation of Complex Distributed Systems
Date | 29 Sep 1999 |
---|---|
Event | INCOSE meeting |
Location | Bosch telecom, Backnang, Germany |
In the presentation application of incremental development and validation in the area of complex distributed systems was explained.
Permalink
Organizing Incremental, Reusable and Automated Software Development
Date | 17 May 1999 - 21 May 1999 |
---|---|
Event | DASIA'99 |
Location | Lisbon, Portugal |
Description of an approach for incremental software development and
validation applying automated generation of an executable system
from a minimum of system engineering information.
Permalink