Standard
A tool suite for multi-paradigm specification. /
Blair, Lynne; Jones, Trevor
; Blair, Gordon.
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. ed. / Jean-Pierre Finance. Springer-Verlag, 1999. p. 234-238 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1577).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Blair, L, Jones, T
& Blair, G 1999,
A tool suite for multi-paradigm specification. in J-P Finance (ed.),
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), vol. 1577, Springer-Verlag, pp. 234-238, 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,
22/03/99.
APA
Blair, L., Jones, T.
, & Blair, G. (1999).
A tool suite for multi-paradigm specification. In J.-P. Finance (Ed.),
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 (pp. 234-238). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1577). Springer-Verlag.
Vancouver
Blair L, Jones T
, Blair G.
A tool suite for multi-paradigm specification. In Finance JP, editor, 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. Springer-Verlag. 1999. p. 234-238. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Author
Blair, Lynne ; Jones, Trevor
; Blair, Gordon. /
A tool suite for multi-paradigm specification. 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. editor / Jean-Pierre Finance. Springer-Verlag, 1999. pp. 234-238 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Bibtex
@inproceedings{df3f7a13a7414b5a86ac035a64985f69,
title = "A tool suite for multi-paradigm specification",
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.",
author = "Lynne Blair and Trevor Jones and Gordon Blair",
year = "1999",
month = jan,
day = "1",
language = "English",
isbn = "3540657185",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "234--238",
editor = "Jean-Pierre Finance",
booktitle = "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",
note = "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 ; Conference date: 22-03-1999 Through 28-03-1999",
}
RIS
TY - GEN
T1 - A tool suite for multi-paradigm specification
AU - Blair, Lynne
AU - Jones, Trevor
AU - Blair, Gordon
PY - 1999/1/1
Y1 - 1999/1/1
N2 - 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.
AB - 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.
M3 - Conference contribution/Paper
AN - SCOPUS:84947911847
SN - 3540657185
SN - 9783540657187
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 234
EP - 238
BT - 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
A2 - Finance, Jean-Pierre
PB - Springer-Verlag
T2 - 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
Y2 - 22 March 1999 through 28 March 1999
ER -
