Rationale for Ada 2005: 7. Epilogue

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.

* * *

2010-10-24 00:26:59