Animation prototyping of formal specifications
At the present time one of the key issues relating to the design of real-time systems is the specification of software requirements. It is now clear that specification correctness is an essential factor for the design and implementation of high quality software. As a result considerable emphasis is...
Saved in:
| Main Author: | |
|---|---|
| Format: | Default Thesis |
| Published: |
1992
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/27241 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|