共 50 条
- [21] A framework to specify system requirements using natural interpretation of UML/MARTE diagrams SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 11 - 37
- [22] Hierarchical context diagrams with UML: An experience report on satellite ground system analysis UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 227 - 239
- [23] Analysis and specification of Consistency Rules for UML Diagrams PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2019, 2019, 11176
- [24] Validation of UML static diagrams using B SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 915 - 920
- [25] Enhancing UML Activity Diagrams using OCL 2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (ICCIC), 2013, : 1 - 6
- [26] Automated analysis of timing information in UML diagrams 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 350 - 353
- [27] Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2014, 2014, 465 : 236 - 247
- [28] Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 780 - 785
- [29] System Analysis of a Hospital Information System Using UML PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTOMATION, MECHANICAL CONTROL AND COMPUTATIONAL ENGINEERING, 2015, 124 : 748 - 752
- [30] Utilization of UML diagrams in designing an events extraction system INFOCOMMUNICATIONS JOURNAL, 2009, 1 (02): : 36 - 41