Semantics, calculi, and analysis for object-oriented specifications.

Achim D. Brucker Burkhart Wolff

Published in: Acta Informatica (2009)

Keyphrases

object oriented
statistical analysis
data mining
image analysis
software engineering
database applications
control flow