A framework for using formal methods in object-oriented software development.

Richard C. Holt Dennis de Champeaux

Published in: OOPS Messenger (1992)

Keyphrases

formal methods
open source
formal analysis
data structure
distributed systems
development process
client server