Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st FORTE 1988: Stirling Scotland, UK
- Kenneth J. Turner:
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. FORTE 1988: 1-14 - Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project. FORTE 1988: 15-29 - David R. Gilbert:
A LOTOS to PARLOG Translator. FORTE 1988: 31-44 - Juan Quemada, Santiago Pavón, Angel Fernández:
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. FORTE 1988: 45-54
Software Tools - Demonstrations
- Michael Atlevi:
SDT - The SDL Design Tool. FORTE 1988: 55-59 - Wilfried H. P. van Hulzen:
LOTTE - A LOTOS Environment. FORTE 1988: 61-65 - Stuart G. Johnston:
SPIDER - Service and Protocol Interactive Development Environment. FORTE 1988: 67-71 - Günter Karjoth:
A LISP-Based LOTOS Environment. FORTE 1988: 73-77 - José A. Mañas, Tomás de Miguel:
From LOTOS to C. FORTE 1988: 79-84 - Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera:
EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. FORTE 1988: 85-89
Object-Oriented Design with FDTs
- Rachid Sijelmassi, Philip Gaudette:
An Object-Oriented Model for Estelle. FORTE 1988: 91-105 - Thomas Mayr:
Specification of Object-Oriented Systems in LOTOS. FORTE 1988: 107-119 - Philip Gaudette, Steve Trus, Sarah Collins:
An Object-Oriented Model for ASN.1. FORTE 1988: 121-134
Language Issues arising from Practical Use
- Ferenc Belina, Dieter Hogrefe, Sebastiano Triglia:
Modelling OSI in SDL. FORTE 1988: 135-142 - David W. Bustard, Adam C. Winstanley, Mark T. Norris, Rodney A. Orr, S. Patel:
Graphical Views of Process-Orientated Specifications. FORTE 1988: 143-156 - Dieter Hogrefe, Amardeo Sarma:
Non-Determinism and SDL. FORTE 1988: 157-167
Theoretical Aspects of Analysis
- Sukhvinder S. Aujla, Matthew Fletcher:
The Boyer-Moore Theorem-Prover and LOTOS. FORTE 1988: 169-183 - Marc Phalippou, Roland Groz:
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. FORTE 1988: 185-199 - Tommaso Bolognesi, Maurizio Caneve:
Squiggles - A Tool for the Analysis of LOTOS Specifications. FORTE 1988: 201-216 - Saturnino Marchena Rodriguez, Gonzalo León:
Transformation from LOTOS Specifications to Galileo Nets. FORTE 1988: 217-230
Experience in writing Formal Descriptions
- David Freestone, Sukhvinder S. Aujla:
Specifying ROSE in LOTOS. FORTE 1988: 231-245 - Jeroen van de Lagemaat, Giuseppe Scollo:
On the Use of LOTOS for the Formal Description of a Transport Protocol. FORTE 1988: 247-261 - Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi:
The Application of LOTOS for the Formal Description of the ISO Session Layer. FORTE 1988: 263-277 - Kees Bogaards:
LOTOS-Supported System Development. FORTE 1988: 279-294
Practical Aspects of Analysis
- Jean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette:
Application of Formal Description Techniques to Conformance Evaluation. FORTE 1988: 295-309 - Renaud Guillemot, Luigi Logrippo:
Derivation of Useful Execution Trees from LOTOS by using an Interpreter. FORTE 1988: 311-325 - Francesco Costa, Daniela Nardi, Roberto Rinaldi:
SDS - A LOTOS-Based Tool for Symbolic Debugging. FORTE 1988: 327-336 - Son T. Vuong, Wendy Y. L. Chan:
Validation of the Ferry-Clip Local Testing System using an Estelle-C Compiler. FORTE 1988: 337-351
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-21 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
