Formal methods in object oriented business modelling.
Michalis GlykasGeorge ValirisPublished in: J. Syst. Softw. (1999)
Keyphrases
- formal methods
- object oriented
- software engineering
- formal analysis
- model checking
- provably correct
- process algebra
- artificial intelligence
- safety critical
- model checker
- knowledge based systems
- business intelligence
- formal specification
- programming language
- business rules
- database applications
- business processes
- temporal properties
- information systems
- decision making
- object oriented databases
- electronic commerce
- data mining
- real world
- relational databases
- data model
- business process
- reverse engineering
- design patterns
- database
- knowledge management
- query language
- modeling language
- development process
- reactive systems
- software development