1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
@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
}
|
