An undergraduate course in formal methods: "description is our business".
Guy TremblayPublished in: SIGCSE (1998)
Keyphrases
- formal methods
- formal analysis
- model checker
- model checking
- formal specification
- business process
- software engineering
- knowledge based systems
- artificial intelligence
- safety critical
- business models
- electronic commerce
- business processes
- information systems
- process algebra
- decision making
- high level
- temporal properties
- provably correct
- business intelligence
- business rules
- data mining
- real world
- knowledge management
- temporal logic
- databases
- information technology
- natural language
- machine learning