共 50 条
- [1] Extending agent UML sequence diagrams AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 150 - 161
- [2] Behavioral consistency validation of UML diagrams FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 118 - 125
- [3] Extending UML sequence diagrams to model agent mobility AGENT-ORIENTED SOFTWARE ENGINEERING VII, 2007, 4405 : 51 - +
- [5] On the verification and validation of UML structural and behavioral diagrams PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER SCIENCE AND TECHNOLOGY, 2006, : 304 - +
- [6] A Formal Verification Tool for UML Behavioral Diagrams COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 696 - 711
- [7] Extending UML 2 activity diagrams with business intelligence objects DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2005, 3589 : 53 - 63
- [8] Extending UML deployment diagrams from a performance engineering perspective SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 48 - 54
- [9] Extending UML to improve the representation of design patterns JOOP-JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 2001, 13 (11): : 12 - 19
- [10] Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules 2003 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS, AND SIGNAL PROCESSING, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2003, : 679 - 683