共 50 条
- [1] Transforming Formal Specification Constructs into Diagrammatic Notations MODEL AND DATA ENGINEERING, MEDI 2013, 2013, 8216 : 212 - 224
- [2] An Investigation into OWL for Concrete Syntax Specification Using UML Notations DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2016, 2016, 9781 : 197 - 211
- [5] On the Visualization of Logic A diagrammatic language based on spatial, graphical and symbolic notations 2019 23RD INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV): BIOMEDICAL VISUALIZATION AND GEOMETRIC MODELLING & IMAGING, 2019, : 7 - 12
- [6] Combining graphical representations and formal notations in software specification: A case study SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 483 - 489
- [7] An inspection approach for conceptual models in notations derived from UML: A case study 2007 22ND INTERNATIONAL SYMPOSIUM ON COMPUTER AND INFORMATION SCIENCES, 2007, : 57 - +
- [8] MAS meta-models on test: UML vs. OPM in the SODA case study MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 163 - 172
- [9] Specification and Utilization of Core Assets: Feature-Oriented vs. UML-Based Methods ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS, 2011, 6999 : 302 - 311
- [10] Case study on Human/System Interaction specification using UML for ODP EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2008, : 15 - +