307:
196:
297:
302:
147:'s concept of stepwise refinement in the development of software systems, together with Rob van Glabbeek. She is also one of the developers of
117:
79:
292:
225:
172:
143:
In the theory of concurrent systems, she is known for introducing the concept of action refinement, an analogue of
121:
120:, formerly affiliated with the Institute for Programming and Reactive Systems there, and former coordinator of a
287:
133:
44:
125:
113:
69:
198:
Professorin Ursula Goltz koordiniert neuen DFG-Schwerpunkt für langlebige
Softwaresysteme
148:
205:] (Press release) (in German), Technical University of Braunschweig, 21 April 2011
281:
144:
152:
238:
259:
203:
Professor Ursula Goltz coordinates the new DFG focus on durable software systems
124:
program on long-lasting software systems. Her research concerns the theory of
221:
129:
34:
86:
173:"Informatik: Emeritierte/Im Ruhestand befindliche Professoren"
54:
Introduction of action refinement in concurrent systems theory
308:
Academic staff of the
Technical University of Braunschweig
138:Über die Darstellung von CCS-Programmen durch Petrinetze
93:Über die Darstellung von CCS-Programmen durch Petrinetze
132:
to model concurrent systems. Goltz earned her Ph.D. at
85:
75:
65:
50:
40:
30:
23:
179:(in German), Technical University of Braunschweig
8:
177:Institute der Carl-Friedrich-Gauß-Fakultät
20:
164:
264:, Technical University of Braunschweig
7:
155:for representing medical knowledge.
118:Technical University of Braunschweig
80:Technical University of Braunschweig
14:
298:German women computer scientists
136:in 1988, with the dissertation,
112:is a German computer scientist,
261:Contact the Arden2ByteCode team
1:
303:RWTH Aachen University alumni
226:Mathematics Genealogy Project
324:
293:German computer scientists
122:German Research Foundation
103:
58:
16:German computer scientist
128:, including the use of
134:RWTH Aachen University
45:RWTH Aachen University
151:, a compiler for the
126:concurrent computing
237:Van Glabbeek, Rob,
240:Action refinement
114:professor emerita
107:
106:
60:Scientific career
315:
272:
271:
270:
269:
256:
250:
249:
248:
247:
234:
228:
219:
213:
212:
211:
210:
193:
187:
186:
185:
184:
169:
99:
70:Computer science
21:
323:
322:
318:
317:
316:
314:
313:
312:
278:
277:
276:
275:
267:
265:
258:
257:
253:
245:
243:
236:
235:
231:
220:
216:
208:
206:
195:
194:
190:
182:
180:
171:
170:
166:
161:
97:
41:Alma mater
26:
17:
12:
11:
5:
321:
319:
311:
310:
305:
300:
295:
290:
280:
279:
274:
273:
251:
229:
214:
188:
163:
162:
160:
157:
149:Arden2ByteCode
105:
104:
101:
100:
89:
83:
82:
77:
73:
72:
67:
63:
62:
56:
55:
52:
51:Known for
48:
47:
42:
38:
37:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
320:
309:
306:
304:
301:
299:
296:
294:
291:
289:
288:Living people
286:
285:
283:
263:
262:
255:
252:
242:
241:
233:
230:
227:
223:
218:
215:
204:
200:
199:
192:
189:
178:
174:
168:
165:
158:
156:
154:
150:
146:
145:Niklaus Wirth
141:
139:
135:
131:
127:
123:
119:
115:
111:
102:
95:
92:
90:
88:
84:
81:
78:
74:
71:
68:
64:
61:
57:
53:
49:
46:
43:
39:
36:
33:
29:
22:
19:
266:, retrieved
260:
254:
244:, retrieved
239:
232:
222:Ursula Goltz
217:
207:, retrieved
202:
197:
191:
181:, retrieved
176:
167:
153:Arden syntax
142:
137:
110:Ursula Goltz
109:
108:
94:
91:
76:Institutions
59:
25:Ursula Goltz
18:
31:Nationality
282:Categories
268:2021-10-17
246:2021-10-17
209:2021-10-17
183:2021-10-17
159:References
130:Petri nets
224:at the
116:at the
98:(1988)
96:
87:Thesis
66:Fields
35:German
201:[
284::
175:,
140:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.