共 50 条
- [41] Interfacing Ada 95 to Microsoft COM and DCOM technologies ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 9 - 14
- [42] Static detection of access anomalies in Ada95 RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 40 - 55
- [43] Supporting Ada 95 passive partitions in a distributed environment RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97, 1997, 1251 : 218 - 229
- [44] Approach for transforming Ada83 serving tasks to Ada95 protected objects Ruan Jian Xue Bao/Journal of Software, 2000, 11 (06): : 836 - 840
- [46] Ada-I: An extension language supporting inheritance of protected objects based on Ada95 Ruan Jian Xue Bao/Journal of Software, 2000, 11 (04): : 494 - 501
- [47] DataFAN: A practical approach to data flow analysis for Ada 95 RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 231 - 244
- [48] Object-oriented programming with protected types in Ada 95 1996, ISMM, Anaheim, CA, United States (18):
- [49] Translating time Petri net structures into Ada 95 statements RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 158 - 169
- [50] Formal modeling of synchronization methods for concurrent objects in Ada 95 ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 211 - 220