Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.

Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai

Browse the full TAP paper archive.