On the Formal Specification of Regulatory Compliance: A Comparative Analysis.
Amal ElgammalOktay TüretkenWillem-Jan van den HeuvelMike P. PapazoglouPublished in: ICSOC Workshops (2010)
Keyphrases
- formal specification
- model checking
- specification language
- object oriented design
- specification languages
- data abstraction
- reverse engineering
- formal methods
- process algebra
- concurrent systems
- software components
- database
- multi agent
- information technology
- formal specification language
- protocol specification
- model checker
- response time
- object oriented
- databases