共 50 条
- [21] SPECIFYING DISTRIBUTED ACQUISITION-SYSTEMS CONTROL AND INSTRUMENTATION, 1986, 18 (06): : 65 - 65
- [22] Software Architectures for Distributed Environmental Modeling ENVIRONMENTAL SOFTWARE SYSTEMS: FRAMEWORKS OF EENVIRONMENT, 2011, 359 : 255 - +
- [24] Specifying and Verifying the Correctness of Dynamic Software Updates VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 278 - +
- [25] Deployment and dynamic reconfiguration planning for distributed software systems Software Quality Journal, 2007, 15 : 265 - 281
- [26] Deployment and dynamic reconfiguration planning for distributed software systems 15TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, : 39 - 46
- [28] Dynamic Structure in Software Architectures Software Engineering Software Engineering Notes, 21 (06):
- [29] A Study on Distributed Fault-Tolerant Service Architectures for Critical Software Systems IEEE 15TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS (SACI 2021), 2021, : 263 - 267
- [30] METHODS AND TOOLS FOR SPECIFYING SOFTWARE OF EMBEDDED SYSTEMS SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1991, 29 (03): : 85 - 96