default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd FORTE 1989: Vancouver, BC, Canada
- Son T. Vuong:
Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland 1990, ISBN 0-444-88544-7
Mini-Papers on Software Tools
Tools for Protocol Implementation and Testing
- Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno:
TENT: Test Sequence Generation Tool for Communication Systems. FORTE 1989: 1-5 - Behdad Forghani, Srinivas Eswara, Vassilios N. Koukoulidis, Behçet Sarikaya:
An Estelle Based Test Generation Tool for Modular Specifications. FORTE 1989: 7-11 - Rudie Alderden:
COOPER - The Compositional Construction of a Canonical Tester. FORTE 1989: 13-17 - Joaquín Seoane:
A Tool for Encoding and Decoding Big ASN.1 Messages. FORTE 1989: 19-23 - P. Li, M. von Thun, Tharam S. Dillon:
Semiautomatic Implementation of Communication Protocols from a Petri Net Based Specification Language Description. FORTE 1989: 25-29
Tools for Protocol Specification and Analysis
- T. Y. Cheung, Y. C. Ye, X. Ye, G. Q. Wang:
UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. FORTE 1989: 31-36 - Michael Atlevi:
SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL. FORTE 1989: 37-41 - Peter van Eijk:
Tools for LOTOS Specification Style Transformation. FORTE 1989: 43-51 - Pieter S. Kritzinger, Graham Wheeler:
A Protocol Engineering Workstation. FORTE 1989: 53-59 - Eric Madelaine, Didier Vergamini:
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66
Full Papers
Architectural Concepts and LOTOS
- Reinhard Gotzhein:
The Formal Definition of the Architectural Concept "Interaction Point". FORTE 1989: 67-81 - Rob Booth:
An Evaluation of the LCF Theorem Prover using LOTOS. FORTE 1989: 83-99 - Ed Brinksma:
Specification Modules in LOTOS. FORTE 1989: 101-115
Invited Presentation:
- Kenneth J. Turner:
A LOTOS-Based Development Strategy. FORTE 1989: 117-132
LOTOS Implementation
- Gregor von Bochmann, Qiang Gao, Cheng Wu:
On the Distributed Implementation of LOTOS. FORTE 1989: 133-146 - Hubert Garavel:
Compilation of LOTOS Abstract Data Types. FORTE 1989: 147-162 - Eric Dubuis:
An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports. FORTE 1989: 163-177
LOTOS Extensions
- Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg:
LOTOS Extended with Clocks. FORTE 1989: 179-193 - Juan Quemada, Arturo Azcorra, David de Frutos-Escrig:
TIC: A Timed Calculus for LOTOS. FORTE 1989: 195-209 - Elspeth Cusack, Steve Rudkin, Chris Smith:
An Object Oriented Interpretation of LOTOS. FORTE 1989: 211-226
Specification for Verification
- Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson:
Specification for Verification. FORTE 1989: 227-244 - David R. Gilbert:
Specifying Concurrent Systems Using Logic. FORTE 1989: 245-260 - Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276
Invited Presentation:
- David Lorge Parnas:
Documentation of Communications Services and Protocols. FORTE 1989: 277-280
Other FDTs
- David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith:
Object-Z: An Object-Oriented Extension to Z. FORTE 1989: 281-296 - Ansgar Bergmann, Uwe Janßen:
Yet another FDT ? An Introduction to CHILL-S. FORTE 1989: 297-311 - Vijay K. Garg:
Modeling of Distributed Systems by Concurrent Regular Expressions. FORTE 1989: 313-327
FDT Applied: Protocol Testing
- Piyu Tripathy, Behçet Sarikaya:
Test Generation from Protocol Specification. FORTE 1989: 329-343 - Jan Tretmans:
Test Case Derivation from LOTOS Specifications. FORTE 1989: 345-359 - Djaffar Gueraichi, Luigi Logrippo:
Derivation of Test Cases for LAP-B from a LOTOS Specification. FORTE 1989: 361-374 - Jean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale:
A Formal Multi-Layer Test Methodology and its Applications to OSI. FORTE 1989: 375-392
FDT Implementation
- Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
From the Simulation to the Verification of Estelle Specifications. FORTE 1989: 393-407 - Kong E. Cheng, Lindsay N. Jackson:
Automatic Translation of SDL Specifications to Implementation Based on Syntactic Transformation. FORTE 1989: 409-419 - Jürgen M. Schneider, Iris B. Neumeier-Mackert, Lothar F. Mackert, Roelof Jan Velthuys:
Executable Communicating Rule Systems. FORTE 1989: 421-436
Invited Presentation
- Deepinder P. Sidhu, Anthony Chung:
Experience with Formal Methods in Protocol Development. FORTE 1989: 437-453
FDT Experience
- Michel Diaz, Jean Dufau, Roland Groz:
Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE 1989: 455-470 - Samuel C. Chamberlain, Paul D. Amer:
A New User's Experiences and Impressions with Estelle. FORTE 1989: 471-484 - Richard C. Cam, Son T. Vuong:
A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System. FORTE 1989: 485-499
FDT Translation
- Gonzalo León, Carlos Delgado Kloos, G. González, M. A. Ruz, Saturnino Marchena Rodriguez, L. Santos, J. Navarro:
ASDE: Design of a Transformational Environment for LOTOS. FORTE 1989: 501-515 - Muffy Thomas:
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. FORTE 1989: 517-531 - Jian-Ping Wu, Samuel T. Chanson:
Translation from LOTOS and Estelle Specifications to Extended Transition System and its Verification. FORTE 1989: 533-549
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-10-31 20:22 CET 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:
