Integrating Object-Oriented Analysis and Formal Specification.

João Araújo Peter Sawyer

Published in: J. Braz. Comput. Soc. (1998)

Keyphrases

formal specification
object oriented
database
artificial intelligence
reverse engineering
information systems
cooperative
expert systems
software engineering