Abstract
A specification based prototyping was used for the simulation and debugging of formal software specifications for control systems. The specification based prototyping combines the advantages of traditional formal specifications with the advantages of rapid prototyping. The consistency between the prototype and the requirements specification eliminates the problems of inconsistent documentation commonly associated with prototyping.
| Original language | English (US) |
|---|---|
| Title of host publication | AIAA/IEEE Digital Avionics Systems Conference - Proceedings |
| Publisher | IEEE |
| Volume | 1 |
| State | Published - Dec 1 2000 |
