Consistency in ISpec specifications

K. van Gogh, R. Kuiper, E.J. Luit

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic


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 languageEnglish
Title of host publicationProceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003)
Place of PublicationUtrecht
PublisherSTW Technology Foundation
ISBN (Print)90-73461-37-5
Publication statusPublished - 2003


Dive into the research topics of 'Consistency in ISpec specifications'. Together they form a unique fingerprint.

Cite this