@STRING{sun = {{SUN}} } @Book{ corba, title = {{The Common Object Request Broker:} Architecture and Specification, revision 3.0.3}, author = {OMG}, publisher = {OMG}, year = {2004}, month = mar, note = {OMG Technical Document formal/2004-03-12} } @Book{ csiv2, title = {Common Secure Interoperability (CSIv2)}, author = {OMG}, publisher = {OMG} } @Book{ corba-ada-mapping1.2:2001, author = {OMG}, title = {Ada Language Mapping Specification, v1.2}, publisher = {OMG}, year = {2001}, month = oct, note = {OMG Technical Document formal/2001-10-42} } @Book{ rt-corba1.1:2002, author = {OMG}, title = {Real-Time CORBA Specification, static scheduling, v1.1}, publisher = {OMG}, year = {2002}, month = apr, note = {OMG Technical Document formal/2002-08-02} } @Book{ rt-corba2.0:2003, author = {OMG}, title = {Real-Time CORBA Specification, dynamic scheduling, v2.0}, publisher = {OMG}, year = {2003}, month = apr, note = {OMG Technical Document formal/2003-11-01} } @Book{ miop, author = {OMG}, publisher = {OMG}, title = {unreliable {M}ulticast {I}nter{ORB} {P}rotocol specification}, year = {2002}, note = {OMG Technical Document ptc/03-01-11} } @Book{ ada-rm95, title = {{Information Technology -- Programming Languages -- Ada}}, author = {ISO}, publisher = {ISO}, year = 1995, month = feb, note = "ISO/IEC/ANSI 8652:1995" } @Book{ ada-rm, title = {{Information Technology -- Programming Languages -- Ada}}, author = {ISO}, publisher = {ISO}, year = 2006, month = nov, note = "ISO/IEC 8652:1995 with Technical Corrigendum 1 and Amendment 1 (``Ada 2005'')" } @Misc{ jms, author = sun, year = 1999, title = {{Java Message Service}}, text = "Sun Microsystems, Java Message Service, http:/java.sun.com/jms" } @Misc{ aws, title = {{Ada Web Server (AWS) 1.3}}, author = {P. Obry}, year = {2003}, text = {\url{http://libre.adacore.com/aws/}} } @Manual{ glade_ug, title = {{GLADE User's Guide r 1.54}}, year = {2006}, month = feb, url = {\url{https://libre2.adacore.com/polyorb/}} } @Manual{ soap12primer, title = {{Simple Object Access Protocol (SOAP) 1.2: primer}}, organization = {W3C}, year = {2003}, month = {june}, note = {W3C recommandation}, url = {\url{http://www.w3.org/TR/soap12-part0/}} } @Manual{ xml, title = {{Extensible Markup Language (XML) 1.0}}, organization = {W3C}, year = 2000, month = oct, note = {W3C recommandation}, url = {\url{http://www.w3.org/TR/REC-xml/}} } @InProceedings{ burns98ravenscar, author = {B. Dobbing and A. Burns}, title = {{The Ravenscar tasking profile for high integrity real-time programs}}, booktitle = {Proceedings of SigAda'98}, year = 1998, address = {Washington, DC, USA}, month = nov }