Loading...
Please wait, while we are loading the content...
Similar Documents
Making Specifications Executable--- Using IPTES Meta-IV (1992)
| Content Provider | CiteSeerX |
|---|---|
| Author | Andersen, Michael Elmstrøm, René Lassen, Poul Bøgh Larsen, Peter Gorm |
| Description | This article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language constructs the limitations of writing specifications in an executable language are discussed. The (executable) example specifications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL. 1 |
| File Format | |
| Language | English |
| Publisher Date | 1992-01-01 |
| Publisher Institution | In Microprocessing and Microprogramming, vol 35 |
| Access Restriction | Open |
| Subject Keyword | Specification Technique Extra Effort Executable Language Specification Executable Using Iptes Meta-iv Specification Language Bsi Vdm-sl Example Specification Iptes Meta-iv |
| Content Type | Text |
| Resource Type | Article |