1. FORTE 1988: Stirling Scotland, UK
Kenneth J. Turner (Ed.): Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. North-Holland 1989 ISBN 0-444-87126-8
Software Tools - Papers
- J. J. Masterson, K. P. Ishaq, A. T. Hockley: An Approach to providing Support Tools for Formal Specification. 1-14
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat: ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. 15-29
- David Gilbert: A LOTOS to PARLOG Translator. 31-44
- Juan Quemada, Santiago Pavón, Angel Fernández: Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. 45-54
Software Tools - Demonstrations
- Michael Atlevi: SDT - The SDL Design Tool. 55-59
- Wilfried H. P. van Hulzen: LOTTE - A LOTOS Environment. 61-65
- Stuart G. Johnston: SPIDER - Service and Protocol Interactive Development Environment. 67-71
- Günter Karjoth: A LISP-Based LOTOS Environment. 73-77
- Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera: EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. 85-89
Object-Oriented Design with FDTs
- Thomas Mayr: Specification of Object-Oriented Systems in LOTOS. 107-119
Language Issues arising from Practical Use
- David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. 143-156
Theoretical Aspects of Analysis
- Marc Phalippou, Roland Groz: Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. 185-199
- Tommaso Bolognesi, Maurizio Caneve: Squiggles - A Tool for the Analysis of LOTOS Specifications. 201-216
- Saturnino Marchena Rodriguez, Gonzalo León: Transformation from LOTOS Specifications to Galileo Nets. 217-230
Experience in writing Formal Descriptions
- Jeroen van de Lagemaat, Giuseppe Scollo: On the Use of LOTOS for the Formal Description of a Transport Protocol. 247-261
- Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi: The Application of LOTOS for the Formal Description of the ISO Session Layer. 263-277
- Kees Bogaards: LOTOS-Supported System Development. 279-294
Practical Aspects of Analysis
- Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette: Application of Formal Description Techniques to Conformance Evaluation. 295-309
- Renaud Guillemot, Luigi Logrippo: Derivation of Useful Execution Trees from LOTOS by using an Interpreter. 311-325
- Francesco Costa, Daniela Nardi, Roberto Rinaldi: SDS - A LOTOS-Based Tool for Symbolic Debugging. 327-336
- Son T. Vuong, Wendy Y. L. Chan: Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. 337-351
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team