Finding the Causes of Unrealizability of Reactive System Formal Specifications.
Noriaki YoshiuraPublished in: SEFM (2004)
Keyphrases
- formal specification
- specification languages
- object oriented design
- formal methods
- model checking
- concurrent systems
- process algebra
- object oriented
- reverse engineering
- database
- specification language
- agent architecture
- formal specification language
- software testing
- software components
- distributed systems
- relational databases
- case study
- information systems