共 50 条
- [32] Ada 95 as implementation vehicle for formal specifications THIRD INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1996, : 98 - 105
- [33] Charles: A data structure library for Ada95 RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 271 - 282
- [36] Static dependency analysis for concurrent Ada 95 programs RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 219 - 230
- [39] Fault tolerance by transparent replication for distributed Ada 95 RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 412 - 424
- [40] OpenAda: Compile-time reflection for Ada 95 RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004, 2004, 3063 : 166 - 177