HTTP/1.1 200 OK Date: Thu, 23 Aug 2012 08:47:06 GMT Server: Apache/2.2.21 (Unix) mod_ssl/2.2.21 OpenSSL/0.9.8e-fips-rhel5 mod_auth_passthrough/2.1 mod_bwlimited/1.4 FrontPage/5.0.2.2635 mod_fcgid/2.3.5 X-Powered-By: PHP/5.2.17 Expires: Fri, 24 Aug 2012 00:00:00 GMT Cache-Control: no-cache, must-revalidate Pragma: no-cache Last-Modified: Tue, 21 Aug 2012 00:00:00 GMT Content-Length: 1462 Keep-Alive: timeout=5, max=99 Connection: Keep-Alive Content-Type: text/html;charset=windows-1251
References
Rationale for Ada 2005: 7. Epilogue
TOPBACKNEXT
References
- [1] J. G. P. Barnes (2003) High Integrity Software – The SPARK Approach to Safety and Security, Addison-Wesley.
- [2] ACM (1979) Preliminary Ada Reference Manual, Sigplan Notices, Vol. 14, No. 6.
- [3] ACM (2003) Proceedings of the 12th International Real-Time Ada Workshop, Ada Letters, Vol 32, No 4.
- [4] J. G. P. Barnes (2006) Programming in Ada 2005, Addison-Wesley.
(c) 2006 John Barnes Informatics.
* * *
TOPBACKNEXT
2010-10-24 00:26:59
. .