共 50 条
- [41] Deriving triggers from UML/OCL specification INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN METHODOLOGIES, COMPONENTS AND MANAGEMENT, 2002, : 305 - 315
- [42] Foundational UML Behavioral Specification with Java']Java PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES, ICICT 2014, 2015, 46 : 941 - 948
- [43] Formal semantic specification for a set of UML diagrams SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 883 - 889
- [44] Problems and deficiencies of UML as a requirements specification language TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, 2000, : 11 - 22
- [45] AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS From UML Activities Diagrams to Event B ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 329 - 332
- [47] Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2012, VOL I, 2012, : 84 - 88
- [48] UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for The Workflows Specification and Verification 2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 330 - 333
- [49] Application of UML in plant modeling for model-based verification: UML translation to TNCES 2005 3RD IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2005, : 495 - 501