СТ |
ASIS for GNAT: From the Prototype to the Full Implementation |
1996 |
Rybin S., Strohmeier A., Kuchumov A., Fofanov V. |
Lecture Notes in Computer Science |
|
|
Reliable Software Technologies - Ada-Europe 96 |
09.10.1996 |
СТ |
ASIS for GNAT: Goals, Problems and Implementation Strategy |
1996 |
Rybin S., Strohmeier A., Zueff E. |
|
|
|
Lecture Notes in Computer Science |
03.02.1996 |
СТ |
ASIS-for-GNAT: A Report of Practical Experiences |
2000 |
Rybin S., Strohmeier A., Fofanov V., Kuchumov A. |
|
|
|
Lecture Notes in Computer Science |
29.07.2000 |
СТ |
About the Difficulties of Building a Pretty-Printer for Ada |
2002 |
Rybin S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
19.07.2002 |
СТ |
Critical Evaluation of the EJB Transaction Model |
2003 |
Silaghi R., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
03.04.2003 |
СТ |
From Use Cases to System Operation Specifications |
2000 |
Sendall S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
11.11.2000 |
СТ |
Mapping Object-Oriented Designs to Ada |
1999 |
Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
29.06.1999 |
СТ |
OASIS - An ASIS Secondary Library for Analizing Object-Oriented Ada Code |
2001 |
Kuchumov A., Rybin S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
10.06.2001 |
СТ |
Object-Oriented Stable Storage Based on Mirroring |
2001 |
Caron X., Kienzle J., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
10.06.2001 |
СТ |
PINROB: A Portable API for Industrial Robots |
1998 |
Harbour M. G., Somarriba R. G., Strohmeier A., Jacot J. |
|
|
|
Lecture Notes in Computer Science |
25.06.1998 |
СТ |
Quality-for-ASIS: A Portable Testing Facility for ASIS |
1998 |
Strohmeier A., Fofanov V., Rybin S., Barbey S. |
|
|
|
Lecture Notes in Computer Science |
25.06.1998 |
СТ |
Secure Communication in Distributed Ada |
1996 |
Kienzle J., Wolf T., Strohmeier A. |
Lecture Notes in Computer Science |
|
|
Reliable Software Technologies - Ada-Europe 96 |
09.10.1996 |
СТ |
UML-Based Fusion Analysis |
1999 |
Sendall S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
СТ |
Using OCL and UML to Specify System Behavior |
2002 |
Sendall S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
11.04.2002 |