|
СТ |
The ASM Ground Model Method as a Foundation of Requirements Engineering |
2003 |
Borger E. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
М |
The Classical Decision Problem |
1997 |
Borger E., Gradel E., Gurevich Y. |
|
|
|
|
11.07.2001 |
|
СТ |
Modeling the Dynamics of UML State Machines |
2000 |
Borger E., Cavarra A., Riccobene E. |
|
|
|
Lecture Notes in Computer Science |
27.10.2000 |
|
СТ |
An ASM Semantics for UML Activity Diagrams |
2000 |
Borger E., Cavarra A., Riccobene E. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
A Programmer Friendly Modular Definition of the Semantics of Java |
1999 |
Borger E., Schulte W. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation |
1998 |
Borger E., Schulte W. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
|
СТ |
Why Use Evolving Algebras for Hardware and Software Engineering |
1995 |
Borger E. |
|
|
|
Lecture Notes in Computer Science |
19.01.1996 |
|
СТ |
The Mathematics of Set Predicates in Prolog |
1993 |
Borger E., Rosenzweig D. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |
