Formal specification and decision support.
Paul J. KrausePatrick J. ByersSaki HajnalPublished in: Decis. Support Syst. (1994)
Keyphrases
- formal specification
- decision support
- model checking
- specification languages
- object oriented design
- decision support system
- specification language
- decision makers
- decision making
- data warehouse
- product configuration
- reverse engineering
- process algebra
- data abstraction
- data warehousing
- formal methods
- data mining
- software components
- business intelligence
- concurrent systems
- fine grained
- knowledge discovery
- artificial intelligence
- production system
- cancer treatment
- database
- formal specification language