A tool suite for multi-paradigm specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1577, Issue , 1999, Pages 234-238

  Blair, Lynne ^a   Jones, Trevor ^a   Blair, Gordon ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; SPECIFICATIONS;

FILE FORMATS; GRAPHICAL FORMAT; LOGIC FORMULAS; MULTI-PARADIGM; SPECIFICATION TECHNIQUE; TOOLSUITE;

SOFTWARE ENGINEERING;

EID: 84947911847     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49020-3_16     Document Type: Conference Paper

References (7)

1. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, W. Yi, C. Weise: “New Generation of UPPAAL”, In Proceedings of the International Workshop on Software Tools for Technology Transfer, Aalborg, Denmark, 12-13 July, 1998.
2. L. Blair, T. Jones, “A note on some problems with the FC2 format”, web document: http://www.comp.lancs.ac.uk/computing/users/lb/Composer/fc2notes.html, 1998.
3. L. Blair, G.S. Blair, “Composition in Multi-paradigm Specification Techniques”, To appear at the 3rd International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS’99), 15-18 February, Florence, Italy, 1999.
4. A. Bouali, A. Ressouche, V. Roy, R. de Simone, “The FCTOOLS User Manual (Version 1.0)”, April 1996, see http://www.inria.fr/meije/verification/doc.html.
5. H. Garavel, “An Overview of the Eucalyptus Toolbox”, Proceedings of the International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), pp 76-88, June 1996, see http://www.inrialpes.fr/vasy/Publications/Garavel-96.html.
6. Lite: LOTOS Integrated Tool Environment, Tele-Informatics and Open Systems Group, University of Twente, The Netherlands, see http://wwwtios.cs.utwente.nl/lotos/lite/.
7. K.J. Turner (editor), “Formal Description Techniques”, Proceedings of the 1st International Conference on Formal Description Techniques (FORTE'88), Elsevier Science, North- Holland, Amsterdam, 1990.