Formal Methods and Service Specification.
Mícheál Mac an AirchinnighDag BelsnesGerard O'ReganPublished in: IS&N (1994)
Keyphrases
- formal methods
- protocol specification
- formal specification
- provably correct
- formal analysis
- model checking
- safety critical
- process algebra
- model checker
- artificial intelligence
- temporal properties
- reactive systems
- service providers
- knowledge based systems
- software engineering
- service discovery
- e learning
- machine learning
- service oriented
- development lifecycle
- specification language
- high level
- web services