 | 1999 |
|---|
| 7 |       | Bernhard Deifel,
Ursula Hinkel,
Barbara Paech,
Peter Scholz,
Veronika Thurner:
Die Praxis der Softwareentwicklung: Eine Erhebung.
Informatik Spektrum 22(1): 24-36 (1999) |
| 1998 |
|---|
| 6 |  | Max Breitling,
Ursula Hinkel,
Katharina Spies:
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.
FBT 1998: 63-74 |
| 1997 |
|---|
| 5 | | Ruth Breu,
Ursula Hinkel,
Christoph Hofmann,
Cornel Klein,
Barbara Paech,
Bernhard Rumpe,
Veronika Thurner:
Towards a Formalization of the Unified Modeling Language.
ECOOP 1997: 344-366 |
| 4 | | Ursula Hinkel,
Katharina Spies:
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.
FBT 1997: 251-261 |
| 3 | | Stefan Loidl,
Ekkart Rudolph,
Ursula Hinkel:
MSC'96 and beyond - a critical look.
SDL Forum 1997: 213- |
| 2 | | Christian Facchi,
Markus Haubner,
Ursula Hinkel:
The SDL specification of the sliding window protocol revisited.
SDL Forum 1997: 507- |
| 1994 |
|---|
| 1 | | Manfred Broy,
Ursula Hinkel,
Tobias Nipkow,
Christian Prehofer,
Birgit Schieder:
Interpreter Verification for a Functional Language.
FSTTCS 1994: 77-88 |
