A formal model for self-adaptive and self-healing organizations.
Robrecht HaesevoetsDanny WeynsTom HolvoetWouter JoosenPublished in: SEAMS (2009)
Keyphrases
- formal model
- information technology
- software systems
- information systems
- predicate calculus
- security properties
- end user computing
- computing systems
- decision making
- formal models
- exchange information
- organizational learning
- autonomic computing
- knowledge management
- case study
- educational institutions
- case based reasoning
- probabilistic knowledge
- security patterns