Searching for authors named Reinhard Gotzhein – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Case Study on Specification, Detection and Resolution of IN Feature Interactions with Estelle
- … with Estelle Jan Bredereke, Reinhard Gotzhein Nr. 245/94 May 1994 Fachbereich Informatik Universitat…
- Cited by 5 (3 self) – Add To MetaCart
-
SDL Formal Semantics Definition
- … of Paderborn 1 glaesser@(email omitted); Phone: +49 5251 60-6516 Fax: +49 5251 60-6502 Reinhard Gotzhein…
- Add To MetaCart
-
CoSDL - An Experimental Language for Collaboration Specification
- … , and Reinhard Gotzhein 2 1 Avaya Labs, Software Technology Research, 233 Mount Airy Road, Basking Ridge, NJ…
- Cited by 1 (0 self) – Add To MetaCart
-
A generic approach to the formal specification of requirements
- …A Generic Approach to the Formal Specification of Requirements 1 Christian Peper, Reinhard…
- Cited by 4 (3 self) – Add To MetaCart
-
On the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines
- … Robert Eschbach 1 , Uwe Glasser 2 , Reinhard Gotzhein 1 and Andreas Prinz 3 1 Department…
- Cited by 3 (0 self) – Add To MetaCart
-
Kronenburg: Formal Specification of Real-Time Requirements for Building Automation Systems
- … Automation Systems Christian Peper, Reinhard Gotzhein, Martin Kronenburg {peper,gotzhein…
- Cited by 1 (1 self) – Add To MetaCart
-
Reuse-Oriented Requirements Engineering with FoReST
- …Reuse-Oriented Requirements Engineering with FoReST 1 Reinhard Gotzhein a , Jürgen Avenhaus a…
- Add To MetaCart
-
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
- … Requirements of Building Automation Systems Martin Kronenburg y , Reinhard Gotzhein z , Christian Peper z…
- Cited by 1 (1 self) – Add To MetaCart
-
To Katja Acknowledgements
- …. Dr. Jürgen Avenhaus Prof. Dr. Klaus Madlener Dekan: Prof. Dr. Reinhard Gotzhein Datum der…
- Add To MetaCart
Showing 1 through 9.
