Formal Support for Design Techniques: A Timethreads-LOTOS Approach

No abstract is available for this paper.

• Publication year

  1995

• Venue

  Formal Techniques for (Networked and) Distributed Systems

• Publication date

  1995-10-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-0-387-34945-9_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Use Case Maps for Object-Oriented Systems

  1995cited by this paper
• Formalization of Timethreads Using LOTOS

  1994cited by this paper
• Automatic verification of finite-state concurrent systems

  1994cited by this paper
• Visual Descriptions, Formalisms and the Design Process

  1993cited by this paper
• LOTOS Interpretation of Timethreads : A Method and a Case Study

  1993cited by this paper
• A Validation Environment for LOTOS

  1993cited by this paper
• A Characterization of LOTOS Representable Networks of Parallel Processes

  1993cited by this paper
• Goal-Driven LOTOS Execution

  1993cited by this paper
• A model checker for LOTOS.

  1992cited by this paper
• Goal oriented execution for LOTOS

  1992cited by this paper
• Architectures with pictures

  1992cited by this paper
• Using LOTOS in a Design Environment

  1991cited by this paper
• Process Topology Diagrams

  1990cited by this paper
• A graphical composition theorem for networks of LOTOS processes

  1990cited by this paper
• Transforming LOTOS Specifications with LOLA - The Parameterised Expansion

  1988cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

  1985cited by this paper
• Protocol Specification, Testing and Verification - Guest Editorial

  1982cited by this paper

• Early modeling and validation of timed system requirements using Timed Use Case Maps

  2015cites this paper
• User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper)

  2011cites this paper
• Formal semantics and verification of use case maps

  2008cites this paper
• Modèle d'Interface Intelligente pour Terminaux de Communication. (Intelligent Interface Model for Communication Terminals)

  2002cites this paper
• Capture, reuse, and validation of requirements and analysis patterns for mobile systems

  2001cites this paper
• Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system

  2000influential citation
• Evaluation and diagnosis of concurrency architectures

  2000cites this paper
• CNAP specification and validation: A design methodology using LOTOS and UCM.

  2000cites this paper
• Description of Wireless Intelligent Network Services with Use Case Maps

  1999cites this paper
• A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines

  1999cites this paper
• Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features

  1998cites this paper
• Using a formal user-centred model to build a formal system-centred model

  1997cites this paper
• Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example

  1997cites this paper