共 50 条
- [1] A high-level domain-specific language for SIEM (design, development and formal verification) [J]. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (03): : 2423 - 2437
- [2] A high-level domain-specific language for SIEM (design, development and formal verification) [J]. Cluster Computing, 2017, 20 : 2423 - 2437
- [3] PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic [J]. 2022 30TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2022), 2022, : 266 - 267
- [4] Photon: A Domain-specific Language for Testing Converged Applications [J]. 2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 942 - 947
- [5] Towards a Domain-Specific Language to Deploy Applications in the Clouds [J]. THIRD INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, GRIDS, AND VIRTUALIZATION (CLOUD COMPUTING 2012), 2012, : 213 - 218
- [6] A Domain-Specific Language for the Specification of Gesture-based Applications [J]. PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), 2017,
- [7] Domain-Specific Language for Context-Aware Web Applications [J]. WEB INFORMATION SYSTEM ENGINEERING-WISE 2010, 2010, 6488 : 471 - 479
- [8] A Domain-Specific Language for Microservices [J]. PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SCALA (SCALA '18), 2018, : 2 - 12
- [10] ` Domain-Specific Model Verification with QVT [J]. MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 282 - 298