Loading...
Please wait, while we are loading the content...
Similar Documents
An Investigation of Executable Specification Languages for the IPTES Mini-specifications (1991)
| Content Provider | CiteSeerX |
|---|---|
| Author | Larsen, Peter Gorm |
| Abstract | This document provides a comparative study of the different alternatives for the executable (sequential) specification language which must be selected for the IPTES mini-specifications. This investigation will be focussed on notations from existing model-oriented methods where appropriate subsets can be extracted. However, existing executable languages inspired from such model-oriented methods also form a basis for this investigation. |
| File Format | |
| Publisher Date | 1991-01-01 |
| Access Restriction | Open |
| Subject Keyword | Comparative Study Appropriate Subset Iptes Mini-specifications Executable Language Different Alternative Specification Language Executable Specification Language Model-oriented Method |
| Content Type | Text |