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