Blair, Lynne and Jones, Trevor and Blair, Gordon (1999) A tool suite for multi-paradigm specification. In: 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 :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, NLD, pp. 234-238. ISBN 3540657185
Full text not available from this repository.Abstract
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.