Certification & Object Orientation: The New Ada Answer
暂无分享,去创建一个
[1] Alan Burns. The Ravenscar Profile , 1999, ALET.
[2] B. A. Wichmann,et al. Guidance for the use of the Ada programming language in high integrity systems , 1998, ALET.
[3] Cyrille Comar,et al. On dynamic plug-in loading with Ada 95 and Ada 2005 , 2005, ALET.
[4] John G. P. Barnes,et al. High Integrity Software - The SPARK Approach to Safety and Security , 2003 .
[5] John Barnes. Rationale for Ada 2005: 1 Object oriented model , 2005 .
[6] Robert Dewar,et al. Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada , 2002, Ada-Europe.
[7] John Barnes,et al. Rationale for Ada 2005: 2 Access types , 2005 .
[8] James B. Bladen,et al. Ada semantic interface specification (ASIS) , 1991, TRI-Ada '91.