A formal approach to object-oriented software engineering.

Martin Wirsing Alexander Knapp

Published in: Theor. Comput. Sci. (2002)

Keyphrases

object oriented software engineering
formal model
software engineering
formal methods
real world
multiscale
formal specification
data mining
machine learning
information retrieval
case study
high level
reinforcement learning
business processes
formal models