A tool suite for multi-paradigm specification

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.

Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700
Subjects:
ID Code:
138995
Deposited By:
Deposited On:
18 Nov 2019 11:55
Refereed?:
Yes
Published?:
Published
Last Modified:
05 Aug 2020 10:21