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.
|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|
|Publication status||Published - 2003|