Towards a Formal Specification of an Electronic Payment System in CSP-CASL.
Andy GimblettMarkus RoggenbachBernd-Holger SchlingloffPublished in: WADT (2004)
Keyphrases
- software components
- formal specification
- constraint satisfaction problems
- software systems
- specification languages
- object oriented design
- specification language
- process algebra
- formal methods
- formal specification language
- data abstraction
- constraint satisfaction
- concurrent systems
- model checker
- decomposition methods
- arc consistency
- knowledge acquisition
- real world
- reverse engineering
- fine grained
- np complete
- knowledge based systems
- fuzzy logic
- knowledge base