Ursula Hinkel

According to our database, Ursula Hinkel authored at least 8 papers between 1994 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1999

Die Praxis der Softwareentwicklung: Eine Erhebung.

Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner

Inform. Spektrum, 1999

1998

Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL.

Ursula Hinkel

PhD thesis, 1998

Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.

Max Breitling, Ursula Hinkel, Katharina Spies

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

MSC'96 and beyond - a critical look.

Stefan Loidl, Ekkart Rudolph, Ursula Hinkel

Proceedings of the SDL '97 Time for Testing, 1997

The SDL specification of the sliding window protocol revisited.

Christian Facchi, Markus Haubner, Ursula Hinkel

Proceedings of the SDL '97 Time for Testing, 1997

Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.

Ursula Hinkel, Katharina Spies

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

Towards a Formalization of the Unified Modeling Language.

Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner

Proceedings of the ECOOP'97, 1997

1994

Interpreter Verification for a Functional Language.

Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994