eprintid: 1968 rev_number: 6 eprint_status: archive userid: 289 dir: disk0/00/00/19/68 datestamp: 2016-12-07 08:18:07 lastmod: 2016-12-07 08:18:44 status_changed: 2016-12-07 08:18:07 type: conference_item metadata_visibility: show creators_name: Dang, Duc Hanh creators_id: hanhdd@vnu.edu.vn title: Validation of System Behavior from an Integrated Semantics of Use Case and Design Models ispublished: pub subjects: IT divisions: fac_fit date: 2007 date_type: published publisher: CEUR-WS.org full_text_status: none pres_type: paper volume: 262 pagerange: 1-5 event_title: The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium) event_dates: 2007 event_type: workshop refereed: TRUE citation: Dang, Duc Hanh (2007) Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. In: The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium), 2007.