Appendix C References
- [DB98]
B. Dobbing and A. Burns.
The Ravenscar tasking profile for high integrity real-time programs.
In Proceedings of SigAda'98, Washington, DC, USA, November 1998.
- [gla06]
GLADE User's Guide r 1.54, February 2006.
- [ISO95]
ISO.
Information Technology – Programming Languages – Ada.
ISO, February 1995.
ISO/IEC/ANSI 8652:1995.
- [ISO06]
ISO.
Information Technology – Programming Languages – Ada.
ISO, November 2006.
ISO/IEC 8652:1995 with Technical Corrigendum 1 and Amendment 1 (“Ada 2005”).
- [Obr03]
P. Obry.
Ada Web Server (AWS) 1.3, 2003.
- [OMG]
OMG.
Common Secure Interoperability (CSIv2).
OMG.
- [OMG01]
OMG.
Ada Language Mapping Specification, v1.2.
OMG, October 2001.
OMG Technical Document formal/2001-10-42.
- [OMG02a]
OMG.
Real-Time CORBA Specification, static scheduling, v1.1.
OMG, April 2002.
OMG Technical Document formal/2002-08-02.
- [OMG02b]
OMG.
unreliable Multicast InterORB Protocol specification.
OMG, 2002.
OMG Technical Document ptc/03-01-11.
- [OMG03]
OMG.
Real-Time CORBA Specification, dynamic scheduling, v2.0.
OMG, April 2003.
OMG Technical Document formal/2003-11-01.
- [OMG04]
OMG.
The Common Object Request Broker: Architecture and Specification,
revision 3.0.3.
OMG, March 2004.
OMG Technical Document formal/2004-03-12.
- [SUN99]
SUN.
Java Message Service, 1999.
- [W3C00]
W3C.
Extensible Markup Language (XML) 1.0, October 2000.
W3C recommandation.
- [W3C03]
W3C.
Simple Object Access Protocol (SOAP) 1.2: primer, june 2003.
W3C recommandation.