Exception Handling: Formal Specification and Systematic Program Construction.
Michel BidoitBrigitte BiebowMarie-Claude GaudelChristian GresseGérard D. GuihoPublished in: ICSE (1984)
Keyphrases
- formal specification
- exception handling
- model checking
- object oriented
- specification languages
- object oriented design
- process algebra
- reverse engineering
- domain independent
- specification language
- concurrent systems
- conflict resolution
- workflow management systems
- object oriented programming
- formal methods
- design methodology
- workflow management
- software components
- real world
- business processes
- information technology