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 BibTeX

@proceedings{DBLP:conf/forte/1988,
  editor    = {Kenneth J. Turner},
  title     = {Formal Description Techniques, Proceedings of the First International
               Conference on Formal Description Techniques, Stirling, Scotland,
               UK, 6-9 September, 1988},
  booktitle = {FORTE},
  publisher = {North-Holland},
  year      = {1989},
  isbn      = {0-444-87126-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Software Tools - Papers

J. J. Masterson, K. P. Ishaq, A. T. Hockley: An Approach to providing Support Tools for Formal Specification. 1-14 BibTeX
Pierre de Saqui-Sannes, Jean-Pierre Courtiat: ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. 15-29 BibTeX
David Gilbert: A LOTOS to PARLOG Translator. 31-44 BibTeX
Juan Quemada, Santiago Pavón, Angel Fernández: Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. 45-54 BibTeX

Software Tools - Demonstrations

Michael Atlevi: SDT - The SDL Design Tool. 55-59 BibTeX
Wilfried H. P. van Hulzen: LOTTE - A LOTOS Environment. 61-65 BibTeX
Stuart G. Johnston: SPIDER - Service and Protocol Interactive Development Environment. 67-71 BibTeX
Günter Karjoth: A LISP-Based LOTOS Environment. 73-77 BibTeX
José A. Mañas, Tomás de Miguel: From LOTOS to C. 79-84 BibTeX
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 BibTeX

Object-Oriented Design with FDTs

Rachid Sijelmassi, Philip Gaudette: An Object-Oriented Model for Estelle. 91-105 BibTeX
Thomas Mayr: Specification of Object-Oriented Systems in LOTOS. 107-119 BibTeX
Philip Gaudette, Steve Trus, Sarah Collins: An Object-Oriented Model for ASN.1. 121-134 BibTeX

Language Issues arising from Practical Use

Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia: Modelling OSI in SDL. 135-142 BibTeX
David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. 143-156 BibTeX
Dieter Hogrefe, Amardeo Sarma: Non-Determinism and SDL. 157-167 BibTeX

Theoretical Aspects of Analysis

Sukhvinder S. Aujla, Matthew Fletcher: The Boyer-Moore Theorem-Prover and LOTOS. 169-183 BibTeX
Marc Phalippou, Roland Groz: Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. 185-199 BibTeX
Tommaso Bolognesi, Maurizio Caneve: Squiggles - A Tool for the Analysis of LOTOS Specifications. 201-216 BibTeX
Saturnino Marchena Rodriguez, Gonzalo León: Transformation from LOTOS Specifications to Galileo Nets. 217-230 BibTeX

Experience in writing Formal Descriptions

David Freestone, Sukhvinder S. Aujla: Specifying ROSE in LOTOS. 231-245 BibTeX
Jeroen van de Lagemaat, Giuseppe Scollo: On the Use of LOTOS for the Formal Description of a Transport Protocol. 247-261 BibTeX
Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi: The Application of LOTOS for the Formal Description of the ISO Session Layer. 263-277 BibTeX
Kees Bogaards: LOTOS-Supported System Development. 279-294 BibTeX

Practical Aspects of Analysis

Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette: Application of Formal Description Techniques to Conformance Evaluation. 295-309 BibTeX
Renaud Guillemot, Luigi Logrippo: Derivation of Useful Execution Trees from LOTOS by using an Interpreter. 311-325 BibTeX
Francesco Costa, Daniela Nardi, Roberto Rinaldi: SDS - A LOTOS-Based Tool for Symbolic Debugging. 327-336 BibTeX
Son T. Vuong, Wendy Y. L. Chan: Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. 337-351 BibTeX