共 50 条
- [1] An environment for interactive service specification FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII, 2003, : 25 - 41
- [2] Evaluation of a Graphical Modeling Language for the Specification of Manufacturing Execution Systems 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
- [3] A framework for the graphical specification and execution of complex signal processing applications PROCEEDINGS OF THE 1998 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING, VOLS 1-6, 1998, : 1757 - 1760
- [4] Formal Specification of Trusted Execution Environment APIs FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 : 101 - 121
- [5] A graphical environment for the specification and verification of reactive systems COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 431 - 444
- [6] Dynamic Heterogeneous Task Specification and Execution for In Situ Workflows PROCEEDINGS OF 16TH WORKSHOP ON WORKFLOWS IN SUPPORT OF LARGE-SCALE SCIENCE (WORKS21), 2021, : 25 - 32
- [9] An interactive graphical environment for code optimization COMPUTATIONAL SCIENCE - ICCS 2007, PT 2, PROCEEDINGS, 2007, 4488 : 831 - +
- [10] Interactive execution monitoring of agent teams JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2003, 18 : 217 - 261