Tool Support to Implement LOTOS Formal Specifications.
José A. MañasTomás de MiguelJoaquín SalvachúaArturo AzcorraPublished in: Comput. Networks ISDN Syst. (1993)
Keyphrases
- software systems
- tool support
- formal specification
- software development
- software components
- software engineering
- formal specification language
- software projects
- formal methods
- reverse engineering
- temporal logic
- object oriented design
- specification language
- specification languages
- requirements engineering
- model checking
- software tools
- case study
- concurrent systems
- design decisions
- object oriented
- design methodology
- project management
- object oriented data models
- training data