A Formal Object Specification Technique Integrating Object and Functional Model

Annika Wagner. A Formal Object Specification Technique Integrating Object and Functional Model. International Journal of Software Engineering and Knowledge Engineering, 7(4):503-524, 1997. [doi]

Abstract

Abstract is missing.