Toward Modular Verifiable Exception Handling.

Daniel M. Berry Richard A. Kemmerer Arndt von Staa Shaula Yemini

Published in: Comput. Lang. (1980)

Keyphrases

exception handling
domain independent
development tools
object oriented
object oriented programming
conflict resolution
agent systems
programming tool
workflow management
workflow management systems
general purpose
information systems
business processes
information technology
expert systems
case study
database