|
СТ |
About the Difficulties of Building a Pretty-Printer for Ada |
2002 |
Rybin S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
19.07.2002 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
