Abstract
To assess consistency for structural and behavioural ISpec specifications, a formal semantic model is provided. This is used as the basis for an evaluation of tool requirements. Two tools under development in the project are discussed.
| Original language | English |
|---|---|
| Title of host publication | Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003) |
| Place of Publication | Utrecht |
| Publisher | STW Technology Foundation |
| Pages | 84-92 |
| ISBN (Print) | 90-73461-37-5 |
| Publication status | Published - 2003 |