A General Framework for
Formalizing Object-Oriented
Modeling Techniques
Betty H. C. Cheng
Software Engineering and Network Systems Laboratory
Department of Computer Science and Engineering
Michigan State University
East Lansing, Michigan 48824
Chengb@cse.msu.edu
www.cse.msu.edu/~chengb