Verification Rules for Exception Handling in Eiffel.
Emil SekerinskiTian ZhangPublished in: SBMF (2012)
Keyphrases
- exception handling
- object oriented
- domain independent
- development tools
- object oriented programming
- conflict resolution
- workflow management
- high level
- multi agent
- agent systems
- software development
- model checking
- workflow management systems
- business process
- database
- data management
- domain specific
- database systems
- databases