|
СТ |
A Linear Temporal Logic Approach to Objects with Transactions |
1997 |
Denker G., Ramos J., Caleiro C., Sernadas A. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Developing an Information System using TROLL - An Application Field Study |
1996 |
Knore M., Kowsari M., Hartel P., Denker G., Enrich H. -D. |
|
|
|
Lecture Notes in Computer Science |
05.06.1996 |
|
СТ |
TROOL light - The Language and Its Development Environment |
1995 |
Gogolla M., Conrad S., Denker G., Herzig R., Vlachantonis N., Ehrich H. -D. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
Transactions in Object-Oriented Specifications |
1995 |
Denker G. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
Translating TROLL light Concepts to Maude |
1994 |
Denker G., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
|
СТ |
Towards Reliable Information Systems: The KorSO Approach |
1993 |
Vlachantonis N., Herzig R., Gogolla M., Denker G., Conrad G., Ehrich H. -D. |
|
|
|
Lecture Notes in Computer Science |
01.07.1993 |
|
СТ |
Constructing Systems as Object Communities |
1993 |
Ehrig H. -D., Sernadas A., Denker G. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
