Enriching OCL Using Observational Mu-Calculus

Author: Julian Bradfield, Juliana Filipe, Perdita Stevens
Publisher: Springer Science and Business Media LLC

ABOUT BOOK

Abstract. The Object Constraint Language is a textual specificatio

Privacy Policy
Powered by: