TY - SER AU - Cheng, Betty H.C. AU - Wang, Enoch Y. TI - for malizing and IntegratingDynamic Model for Object-Oriented Modeling KW - Object-Oriented Modeling KW - for mal Specification ER -