This repository was archived by the owner on Jun 7, 2025. It is now read-only.
Repository navigation
Expand file tree
/
Copy paththese.brf
More file actions
126 lines (126 loc) · 6.8 KB
/
Copy paththese.brf
File metadata and controls
126 lines (126 loc) · 6.8 KB
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
122
123
124
125
126
\backcite {omgqvt1}{{ix}{(document)}{Doc-Start}}
\backcite {Moreau2003,Balland2007}{{7}{1}{division.6}}
\backcite {Bezem2003}{{12}{1.1.4}{subsection.6.1.4}}
\backcite {Kirchner2008}{{12}{1.1.4}{subsection.6.1.4}}
\backcite {Vittek1994,Borovansky1998,Borovansky1996}{{13}{1.1.4}{thm-fr.21}}
\backcite {Visser1998,Visser01}{{13}{1.1.4}{thm-fr.21}}
\backcite {Clavel1996a,Clavel2002,Clavel2011}{{13}{1.1.4}{thm-fr.21}}
\backcite {Clavel1996,Clavel2002a}{{13}{1.1.4.0.0}{thm-fr.21}}
\backcite {MartiOliet2005,Eker2007}{{13}{1.1.4.0.0}{thm-fr.21}}
\backcite {BallandMR08,Balland2012}{{13}{1.1.4.0.0}{thm-fr.21}}
\backcite {Moreau2003,Balland2007}{{13}{1.2}{section.6.2}}
\backcite {Balland2006}{{13}{1.2}{section.6.2}}
\backcite {Bach2009}{{14}{1.2}{section.6.2}}
\backcite {TomManual-2.10}{{14}{1.2}{section.6.2}}
\backcite {Reilles2007}{{14}{1.2.1}{subsection.6.2.1}}
\backcite {Appel1993}{{14}{1.2.1}{lstnumber.1.1.5}}
\backcite {BallandMR08,Balland2012}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Borovansky1998}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Visser1998}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Visser2001}{{19}{1.2.5}{subsection.6.2.5}}
\backcite {Balland2009, BallandMR08, Balland2012}{{20}{1.2.5}{lstnumber.-3.3}}
\backcite {tavares09,Tavares2012}{{23}{1.3}{lstnumber.1.11.8}}
\backcite {burel09}{{24}{1.4}{section.6.4}}
\backcite {bonichon04}{{24}{1.4}{section.6.4}}
\backcite {brauner10}{{24}{1.4}{section.6.4}}
\backcite {brauner10}{{24}{1.4}{section.6.4}}
\backcite {Bach2012}{{24}{1.5}{figure.caption.12}}
\backcite {bezivin2004}{{27}{2.1}{section.7.1}}
\backcite {Bezivin2005a}{{27}{2.1}{section.7.1}}
\backcite {Bezivin2001a}{{27}{2.1}{section.7.1}}
\backcite {Kleppe2003}{{27}{2.1}{section.7.1}}
\backcite {Atkinson2003,Seidewitz2003,Bezivin2005a}{{27}{2.1}{thm-fr.22}}
\backcite {omgmof}{{28}{24}{thm-fr.24}}
\backcite {mda}{{28}{2.1}{thm-fr.24}}
\backcite {Kleppe2003, Mellor2004}{{28}{2.1}{thm-fr.24}}
\backcite {omgmof}{{28}{2.1}{thm-fr.24}}
\backcite {uml2,uml241}{{28}{2.1}{thm-fr.24}}
\backcite {omgocl2}{{28}{2.1}{thm-fr.24}}
\backcite {omgxmi}{{28}{2.1}{thm-fr.24}}
\backcite {omgdi}{{28}{2.1}{thm-fr.24}}
\backcite {omgmof}{{28}{2.1}{thm-fr.24}}
\backcite {KurtevBezAks2002, Bezivin2006}{{28}{2.1}{thm-fr.25}}
\backcite {Klint2005,grammarware}{{28}{2.1}{thm-fr.25}}
\backcite {Kleppe2003}{{28}{14}{thm-fr.23}}
\backcite {uml2}{{29}{2.1}{figure.caption.15}}
\backcite {Favre2006}{{30}{2.1}{figure.caption.15}}
\backcite {Greenfield2003}{{30}{2.1}{figure.caption.15}}
\backcite {Booch2004}{{30}{2.1}{figure.caption.15}}
\backcite {emf09}{{31}{2.1}{figure.caption.15}}
\backcite {Kleppe2003}{{31}{2.1}{figure.caption.15}}
\backcite {Brown2004}{{31}{2.1}{figure.caption.15}}
\backcite {Blanc2005}{{31}{2.1}{figure.caption.15}}
\backcite {Sendall2003}{{31}{2.2}{section.7.2}}
\backcite {Fow99}{{31}{20}{section.7.2}}
\backcite {Czarnecki2003}{{32}{2.2}{thm-fr.26}}
\backcite {Sendall2003}{{32}{2.2}{thm-fr.26}}
\backcite {ibm06}{{32}{2.2}{thm-fr.26}}
\backcite {MensG06}{{32}{2.2}{thm-fr.26}}
\backcite {MensG06}{{32}{2.2.1}{subsection.7.2.1}}
\backcite {Blanc2005}{{33}{2.2.2}{subsection.7.2.2}}
\backcite {omgqvt1}{{33}{2.2.2}{subsection.7.2.2}}
\backcite {Gerber2002}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {xslt}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {xquery,xqueryuf}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {Taentzer2004}{{34}{2.2.2.0.0}{subsection.7.2.2}}
\backcite {xqueryuf}{{34}{21}{subsection.7.2.2}}
\backcite {emf09}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {xslt}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {xqueryuf}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Moreau2003,Balland2007,TomManual-2.10}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Klint2011,Klint2011a}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Brand2001}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Kats2010}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Visser1998}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Visser01}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Clavel1996, Clavel1996a, Clavel2002}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Romero2007,Rivera2008,Rusu2011}{{35}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Boronat2009,Boronat2010}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Taentzer10,Schurr2008}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Konigs2005}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Amelunxen2006}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Arendt2010}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Taentzer2004}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {Varro2007}{{36}{2.2.3.0.0}{subsection.7.2.3}}
\backcite {omgqvt1}{{36}{2.2.3.0}{subsection.7.2.3}}
\backcite {omgqvt1}{{36}{2.4}{figure.caption.17}}
\backcite {Boronat2009}{{36}{2.2.3.0.0}{figure.caption.17}}
\backcite {Bezivin2003-firstExperiment,Bezivin2005,Jouault2006,JouaultABK08}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {atl04}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Lawley2006}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Agrawal2003,Balasubramanian2007}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Varro2007}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {kermeta10}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Muller2005,Muller2005a}{{37}{2.2.3.0.0}{figure.caption.17}}
\backcite {Beck2004}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Beck2003}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Williams2003}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Claessen2000,Hughes2010}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Giner2009}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Fleurey2004}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Lin2005}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Brottier2006,Lamari2007,Sen2009}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Rutherford2003}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Fleurey2009}{{40}{3.1.2}{subsection.8.1.2}}
\backcite {Earle2013}{{40}{43}{subsection.8.1.2}}
\backcite {Coq,Bertot2004}{{41}{3.1.4}{subsection.8.1.4}}
\backcite {Nipkow2002}{{41}{3.1.4}{subsection.8.1.4}}
\backcite {Garavel2011}{{41}{3.1.5}{subsection.8.1.5}}
\backcite {Berthomieu2004}{{41}{3.1.5}{subsection.8.1.5}}
\backcite {Bayazit2005}{{41}{3.1.5}{subsection.8.1.5}}
\backcite {DO-178C}{{42}{3.2}{thm-fr.32}}
\backcite {DO-330}{{43}{3.2}{thm-fr.33}}
\backcite {DO-330}{{43}{34}{thm-fr.34}}
\backcite {Falleri2006}{{44}{3.3}{thm-fr.34}}
\backcite {Varro2002}{{51}{4.3.1}{figure.caption.21}}
\backcite {Varro2007}{{51}{4.3.1}{figure.caption.21}}
\backcite {Jakumeit2010}{{51}{4.3.1}{figure.caption.21}}
\backcite {Jouault2005}{{59}{5.2.1}{subsection.11.2.1}}
\backcite {Bach2012}{{67}{6.2}{section.12.2}}
\backcite {Czarnecki2003,ibm06}{{68}{6.2}{lstnumber.6.4.3}}
\backcite {tavares09}{{77}{6.3.2}{figure.caption.45}}
\backcite {combemale08}{{83}{7.1}{section.13.1}}
\backcite {Berthomieu2004}{{91}{7.1.3.0.0}{lstnumber.7.3.25}}
\backcite {Bach2012}{{94}{3}{Item.22}}
\backcite {Bach2012}{{96}{7.2.3.0.0}{lstnumber.7.6.29}}
\backcite {Berthomieu2004}{{119}{A.3}{section.16.3}}