共 50 条
- [2] Mapping the Web Ontology Language to the OpenAPI Specification [J]. ADVANCES IN CONCEPTUAL MODELING, ER 2020, 2020, 12584 : 117 - 127
- [3] SVG web environment for Z specification language [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 480 - 494
- [4] ScriptOrc : A Specification Language for Web Service Choreography [J]. 2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 1089 - +
- [5] SPECIFICATION OF ADAPTIVE AIDING SYSTEMS [J]. INFORMATION AND DECISION TECHNOLOGIES, 1992, 18 (03): : 195 - 207
- [6] A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 606 - 621
- [7] A specification language for coordination in agent systems [J]. PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2007), 2007, : 252 - 256
- [8] Spectra: a specification language for reactive systems [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (05): : 1553 - 1586
- [9] Graphical Specification Language for Distributed Systems [J]. CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 385 - +
- [10] A LANGUAGE FOR THE DESCRIPTION AND SPECIFICATION OF EMBEDDED SYSTEMS [J]. MICROPROCESSING AND MICROPROGRAMMING, 1985, 16 (2-3): : 192 - 192