|
СТ |
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 |
|
СТ |
An Algebraic Development Technique for Information Systems |
1995 |
Gogolla M., Herzig R. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
An Algebraic Semantics for the Object Specification Language TROLL light |
1995 |
Gogolla M., Herzig R. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
From Object Specification to Enhanced Logic Programming |
1994 |
Gogolla M., Guler S., Herzig R. |
|
|
|
Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX |
23.05.1995 |
|
СТ |
XXI. TROLL Light |
1995 |
Herzig R., Vlachantonis N. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
A SQL-like Query Calculus for Object-Oriented Database Systems |
1994 |
Herzig R., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
|
СТ |
Integrating the ER Approach in an OO Environment |
1994 |
Gogolla M., Herzig R., Conrad S., Denker S., Vlachantonis N. |
|
|
|
Lecture Notes in Computer Science |
14.09.1994 |
|
СТ |
Sketching Concepts and Computational Model of TROLL light |
1993 |
Gogolla M., Conrad S., Herzig R. |
|
|
|
Lecture Notes in Computer Science |
09.10.1993 |
|
СТ |
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 |
