Search the dblp DataBase

Publications of Author

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