Axiomatic Specification of Large Information Systems: Experiences and Consequences.
Heinrich HußmannPublished in: COMPASS/ADT (1994)
Keyphrases
- information systems
- requirements analysis
- business rules
- conceptual models
- axiomatic characterization
- health care
- database
- information technology
- conceptual modeling
- model checking
- case study
- project management
- formal specification
- decision making
- design science
- formal verification
- distributed information systems
- negative consequences
- high level
- user defined
- website
- decision theory
- goal oriented
- specification language
- real time