Using Design Patterns in Formal Methods: An Event-B Approach.
Jean-Raymond AbrialThai Son HoangPublished in: ICTAC (2008)
Keyphrases
- formal methods
- design patterns
- software engineering
- object oriented
- formal analysis
- software design
- artificial intelligence
- software systems
- object oriented software
- model checker
- metamodel
- model checking
- design principles
- safety critical
- software architecture
- database driven
- usage scenarios
- knowledge based systems
- formal specification
- ontology driven
- development process
- design requirements
- modeling language
- learning objects
- process algebra
- model view controller
- learning algorithm
- formal specification language
- reactive systems
- development lifecycle
- specific problems
- pattern languages
- reverse engineering
- software development
- relational databases
- security properties
- xml documents
- high level
- knowledge base
- e learning
- data mining