A Formal Specification for Organizational Adaptation.
Huib AldewereldFrank DignumVirginia DignumLoris PenseriniPublished in: AOSE (2009)
Keyphrases
- formal specification
- model checking
- specification languages
- object oriented design
- specification language
- information systems
- data abstraction
- information technology
- formal methods
- concurrent systems
- process algebra
- reverse engineering
- decision making
- model checker
- knowledge management
- formal specification language
- business rules
- temporal logic
- case study
- computation tree logic