Searching for authors named "Wolfgang Grieskamp" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
The µZ Calculus and its Implementation
- …The Z Calculus and its Implementation Wolfgang Grieskamp Technische Universitat Berlin, FB13…
- Add To MetaCart
-
A Computation Model for Z Based On Concurrent Constraint Resolution
- …A Computation Model for Z Based On Concurrent Constraint Resolution Wolfgang Grieskamp Technische…
- Cited by 6 (3 self) – Add To MetaCart
-
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System
- …Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System Wolfgang Grieskamp…
- Cited by 1 (1 self) – Add To MetaCart
-
Using Use Cases in Executable Z
- …Using Use Cases in Executable Z Wolfgang Grieskamp Markus Lepper Technische Universit at Berlin…
- Cited by 4 (2 self) – Add To MetaCart
-
A Modular Framework for the Integration of Heterogeneous Notations and Tools (Extended Version)
- …) Robert Bussow Wolfgang Grieskamp July 27, 2000 Abstract We report on the notation and tool integration…
- Cited by 8 (5 self) – Add To MetaCart
-
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
- … of Embedded Systems Robert Bussow and Wolfgang Grieskamp Technische Universitat Berlin, Institut fur…
- Cited by 5 (5 self) – Add To MetaCart
-
Testable Use Cases in the Abstract State Machine Language
- …Testable Use Cases in the Abstract State Machine Language Wolfgang Grieskamp Microsoft Research…
- Cited by 3 (1 self) – Add To MetaCart
-
A schema language for coordinating construction and composition of partial behaviors
- … Wolfgang Grieskamp Nicolas Kicillof February 2006 Technical Report MSR-TR-2006-13 We report on a schema…
- Cited by 3 (2 self) – Add To MetaCart
-
in the Abstract State Machine Language
- …, Formal methods Author: Wolfgang Grieskamp, Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA…
- Add To MetaCart
-
Temporal Semantics of a Concurrency Monad With Choice and Services
- … Universitat Berlin, Fachbereich Informatik and Wolfgang Grieskamp Technische Universitat Berlin, Fachbereich…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
