default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd FORTE 1990: Madrid, Spain
- Juan Quemada, José A. Mañas, Enrique Vázquez:
Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. North-Holland 1991, ISBN 0-444-89024-6
Invited Paper
- Manfred Broy:
Methodological Objectives for Formal Description Techniques. FORTE 1990: 1-16
Theoretical Foundations of FDTs
- Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini:
How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32 - Matthew Hennessy, Tim Regan:
A Temporal Process Algebra. FORTE 1990: 33-48 - S. Gallouzi, Luigi Logrippo, Abdellatif Obaid:
A Hoare-style Proof System for LOTOS. FORTE 1990: 49-62
Verification
- Han Zuidweg:
Synchronic Distance in Process Algebra. FORTE 1990: 63-77 - S. Ramanathan, G. Sivakumar:
Rewrite Systems for Protocol Specification and Verification. FORTE 1990: 79-94 - Jean-Claude Fernandez, Laurent Mounier:
Verifying Bisimulations "On the Fly". FORTE 1990: 95-110
Transformation
- M. Hakan Erdogmus, Robert de B. Johnston:
An Approach to Specifying and Synthesizing Communicating Processes. FORTE 1990: 111-126 - Günter Karjoth:
A Compilation of Algebraic Processes Based on Extended-Action Derivation. FORTE 1990: 127-140 - Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba:
Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE 1990: 141-155
Testing - 1
- Clazien D. Wezeman, S. Batley, J. Lynch:
Formal Methods to Assist Conformance Testing. A Case Study. FORTE 1990: 157-174 - Marc Phalippou, Roland Groz:
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. FORTE 1990: 175-190 - Woojik Chun, Paul D. Amer:
Test Case Generation for Protocols Specified in Estelle. FORTE 1990: 191-206
Invited Paper
- Dieter Hogrefe:
Conformance Testing Based on Formal Methods. FORTE 1990: 207-222
Languages and Time
- E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi:
L.0: A Language for Modeling and Prototyping Communications Software. FORTE 1990: 223-238 - Falko Bause, Peter Buchholz:
Protocol Analysis Using a Timed Version of SDL. FORTE 1990: 239-254
Application of FDTs - 1
- Luís Ferreira Pires, Wanderley Lopes de Souza:
Step-wise Refinement Design Example Using LOTOS. FORTE 1990: 255-262 - Pierre Azéma, Khalil Drira, François Vernadat:
A Bus Instrumentation Protocol Specified in LOTOS. FORTE 1990: 263-269 - Jean-Marc Jézéquel:
Experience in Validating Protocol Integration Using Estelle. FORTE 1990: 271-278 - Roger Duke, Gordon A. Rose, Graeme Smith:
Transferring Formal Techniques to Industry. FORTE 1990: 279-286
Testing - 2
- Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno:
OSI Testing Environment Based on the Standardized Formalisms. FORTE 1990: 287-294 - Michael Sample, Gerald W. Neufeld:
Support for ASN.1 within a Protocol Testing Environment. FORTE 1990: 295-302 - Rachida Dssouli, Reine Fournier, Gregor von Bochmann:
Distributed Observation and FIFO Queues. FORTE 1990: 303-310 - J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto:
Concurrent Modelling in LOTOS as a Solution to Real Time Problems. FORTE 1990: 311-318
Application of FDTs - 2
- M. Gamble, C. R. Taylor:
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. FORTE 1990: 319-326 - Josefina Navarro, Pablo San Martin:
Experience in the Development of an ISDN Layer 3 Service in LOTOS. FORTE 1990: 327-336 - Juan A. Saras, Julio Berocal, Juan Riera:
Use of Estelle, LOTOS and ASN.1 in One Project. FORTE 1990: 337-343 - Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE 1990: 345-352
Language Enhancements
- Anders Olsen:
Extending SDL with a Procedural Data Concept. FORTE 1990: 353-360 - Piotr Dembinski:
Interfacing ASN.1 and Estelle: A Practical Approach. FORTE 1990: 361-368 - A. B. Alkhechi, Stanislaw Budkowski:
Automatic Translation of Time Petri Nets into Estelle Description. FORTE 1990: 369-376 - Richard L. Tenney:
Adding Interaction Sets to Estelle. FORTE 1990: 377-382
Design by Stepwise Refinement
- Tomás de Miguel, Tomás Robles, Joaquín Salvachúa, Arturo Azcorra:
The SRTS Experience: Using TOPO for LOTOS Design and Realization. FORTE 1990: 383-394 - Ove Faergemand:
Stepwise Production of an SDL Description. FORTE 1990: 395-410 - Marten van Sinderen, Ing Widya:
On the Design and Formal Specification of a Transaction Processing Protocol. FORTE 1990: 411-426
Invited Paper
- Jean-Bernard Stefani:
ODP: The Next Target for the Applciation of FDTs. FORTE 1990: 427-442
Graphical Representation of FDTs
- Josef Hinterplattner, Heinrich Nirschl, Heinz Saria:
Process Topology Diagrams. FORTE 1990: 443-458 - Tommaso Bolognesi, David de Frutos-Escrig, Yolanda Ortega-Mallén:
Graphical Composition Theorems for Parallel and Hiding Operators. FORTE 1990: 459-470
Application of FDTs - 3
- Gonzalo León:
On the Technology Transfer of Formal Methods: An Experience on LOTOS. FORTE 1990: 471-486 - Martine Guilmet, Philippe Thomas, Bruno Traverson:
Desing, Implementation and Validation of a Multi-Peer Protocol Using Estelle. FORTE 1990: 487-502 - Y. T. Cheung, J. William Atwood:
Specifying the Xpress Transfer Protocol Using Estelle and Valira. FORTE 1990: 503-517
TOOLS
- Anders Ek, Jan Ellsberger:
TA-2: A Prototype Analysing Dynamic SDL Properties. FORTE 1990: 519-522 - Colin J. Fidge:
A LOTOS Interpreter for Simulating Real-Time Behaviour. FORTE 1990: 523-526 - Carron Kirkwood, Kathy Norrie:
Some Experiments Using Term Rewriting Techniques for Concurrency. FORTE 1990: 527-530 - Gregor von Bochmann, Daniel Ouimet, Gerald W. Neufeld:
ASN.1 and Estelle Implementation Support Tools. FORTE 1990: 531-534 - Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi:
A LOTOS Simulator in OBJ. FORTE 1990: 535-538 - F. Brady, A. Boshier, D. Pitt, B. Szczygiel:
One2One - A Tool for Translating ASN.1 to ACT ONE. FORTE 1990: 539-542 - Rachid Sijelmassi, Brett Strausser:
NIST Integrated Tool Set for Estelle. FORTE 1990: 543-546 - To-Yat Cheung, Yucheng Ye:
An Executor for Graphical LOTOS. FORTE 1990: 547-550 - Darren New, Paul D. Amer:
Protocol Visualization of Estelle Specifications. FORTE 1990: 551-554 - Kou Miyake, Y. Shigeta, W. Tanaka, H. Hasegawa:
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System. FORTE 1990: 555-558 - Santiago Pavón, Martín Llamas Nistal:
The Testing Functionalities of LOLA. FORTE 1990: 559-562 - Luigi Logrippo:
The University of Ottawa LOTOS Toolkit. FORTE 1990: 563-566 - J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm:
PIL: A Tool for Pre-implementation of LOTOS. FORTE 1990: 567-570 - Ken R. Parker:
The PROMPT Automatic Implementation Tool - Initial Impressions. FORTE 1990: 571-576 - Peter van Eijk, Henk Eertink:
Design of the LOTOSPHERE Symbolic LOTOS Simulator. FORTE 1990: 577-580 - Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester:
An Interactive Programming Environment for LOTOS. FORTE 1990: 581-584
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 2025-01-20 23:05 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:
