Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Formal specification of telephone systems in LOTOS: The constraint-oriented style approach
Computer Networks and ISDN Systems
The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE
Computer Networks and ISDN Systems - Protocol specification, testing and verification
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
An introduction to LOTOS: learning by examples
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
G-LOTOS: a graphical language for concurrent systems
Computer Networks and ISDN Systems
Gate splitting in LOTOS specifications using abstract interpretation
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Structural models for specifying telephone systems
Computer Networks and ISDN Systems - Special issue: specification architecture
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Visual animation of LOTOS using SOLVE
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
A LOTOS Compiler Generating Multi-threaded Object Codes
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion
Proceedings of the First International Conference on Formal Description Techniques
Protocol design using LOTOS: A critical synthesis of a standardization experience
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Rapid generation of functional tests using MSCs, SDL and TTCN
Computer Communications
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
Computer Communications
Generation of test purposes from use case maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
An automated approach to specification animation for validation
Journal of Systems and Software
Generation of test purposes from Use Case Maps
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Hi-index | 0.00 |
Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to message sequence charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualization and animation of specifications of telephony systems. The use of these tools in software design is discussed briefly.