Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 1/01/1999 |
---|---|
Host publication | Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings |
Editors | Jean-Pierre Finance |
Publisher | Springer-Verlag |
Pages | 234-238 |
Number of pages | 5 |
ISBN (Print) | 3540657185, 9783540657187 |
<mark>Original language</mark> | English |
Event | 2nd International Conference on Fundamental Approaches to Software Engineering, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 - Amsterdam, Netherlands Duration: 22/03/1999 → 28/03/1999 |
Conference | 2nd International Conference on Fundamental Approaches to Software Engineering, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 |
---|---|
Country/Territory | Netherlands |
City | Amsterdam |
Period | 22/03/99 → 28/03/99 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1577 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 2nd International Conference on Fundamental Approaches to Software Engineering, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999 |
---|---|
Country/Territory | Netherlands |
City | Amsterdam |
Period | 22/03/99 → 28/03/99 |
In this paper, we present a tool suite developed to facilitate the use of a multi-paradigm specification technique. By adopting such a technique, different aspects (or components) of a system can be specified using different formal languages. Using FC2 as our common file format, we can load in different (partial) specifications, compose them and then view the result in textual or graphical format, simulate the composed behaviour, and model check a given logic formula against our (composed) system.