Copyright © 2004-2010 BSSE.
All rights reserved.
Impressum Legal Notice

Papers 1999

Procurement of a SDL Model for Behavioural Validation of MSL [00019]
Date	9 Nov 1999
Files
Final Report
This is the final report of the ESA study on behavioural validation of MSL.

A Method for the Incremental Software Development and Validation of Complex Distributed Systems [00066]
Event	INCOSE meeting
Date	29 Sep 1999
Location	Bosch telecom, Backnang, Germany
In the presentation application of incremental development and validation in the area of complex distributed systems was explained.

Organizing Incremental, Reusable and Automated Software Development [00020]
Event	DASIA'99
Date	17 May 1999 - 21 May 1999
Location	Lisbon, Portugal
Files
Presentation
Description of an approach for incremental software development and validation applying automated generation of an executable system from a minimum of system engineering information.

Verification with SDL - Some Hints about How to reduce size of state space [00021]
Date	Jan 1999
Files
Paper
This paper gives advice how to master state explosion.