共 50 条
- [1] Specifying a collaborative editor (Extended abstract) FORMAL METHODS PACIFIC '97, 1997, : 311 - 312
- [2] Component testing: An extended abstract OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 159 - 160
- [3] Distributed prograph: Extended abstract PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS, 1996, 1068 : 128 - 133
- [4] Using abstract state machine in architecture design of distributed software component repository ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 861 - 868
- [6] Specifying software quality with the extended ISO model SOFTWARE QUALITY MANAGEMENT IV - IMPROVING QUALITY, 1996, : 145 - 159
- [7] Specifying Dynamic Software Architectures for Distributed Systems 2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 51 - 54
- [8] Organized distributed systems (extended abstract) COOPERATIVE INFORMATION SYSTEMS, PROCEEDINGS, 2000, 1901 : 126 - 131
- [9] Extended Abstract: ProDSPL: Proactive Self-Adaptation based on Dynamic Software Product Lines SPLC '21: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2021,
- [10] A framework of software component adaptation ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS, 2007, 4494 : 153 - +