|
СТ |
Generating Finite State Machines from Abstract State Machines |
2004 |
Grieskamp W., Gurevich Yu., Schulte W., Veanes M. |
|
|
|
Moscow Computer Sience School 2004 - ASM: Abstract State Machine |
29.10.2004 |
|
СТ |
Towards a Tool Environment for Model-Based Testing with AsmL |
2004 |
Barnett M., Grieskamp W., Nachmanson L., Schulte W., Tillmann N., Veanes M. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
|
СТ |
Using Use Cases in Executable Z |
2000 |
Grieskamp W., Lepper M. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
A Computation Model for Z Based on Concurrent Constraint Resolution |
2000 |
Grieskamp W. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
|
СТ |
Reflections in Opal - Meta Information in a Functional Programming Language |
2000 |
Didrich K., Grieskamp W., Schnitke F., Tantau T., Tracon-Y-Widemann B. |
|
|
|
Lecture Notes in Computer Science |
14.09.2000 |
|
СТ |
An Open Environment for the Integration of Heterogeneous Modeling Techniques and Tools |
1999 |
Bussow R., Grieskamp W., Heicking W., Herrmann S. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
|
СТ |
Programming in the Large: The Algebraic-Functional Language Opal 2 alfa |
1998 |
Didrich K., Grieskamp W., Maeder C., Pepper P. |
|
|
|
Lecture Notes in Computer Science |
09.10.1998 |
|
СТ |
Specifying Embedded Systems with Statecharts and Z: An Algebra for Cyclic Software Components |
1998 |
Grieskamp W., Heisel M., Dorr H. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems |
1997 |
Bussow R., Grieskamp W. |
|
|
|
Lecture Notes in Computer Science |
20.12.1997 |
|
СТ |
OPAL: Design and Implementation of an Algebraic Programming Language |
1994 |
Didrich K., Fett A., Gerke C., Grieskamp W., Pepper P. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
|
СТ |
Algebraic Programming in OPAL |
1993 |
Fett A., Gerke C., Grieskamp W., Pepper P. |
|
|
|
EATCS Bull. |
07.12.1993 |
|
СТ |
Algebraic Programming in Opal |
1993 |
Fett A., Gerke C., Grieskamp W., Pepper P. |
|
|
|
EATCS Bull. |
30.07.1993 |
