|
СТ |
Benefits and Problems of Formal Methods |
2004 |
Gogolla M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
|
СТ |
OCL Extended with Temporal Logic |
2003 |
Ziemann P., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
|
СТ |
Validation of UML and OCL Models by Automatic Snapshot Generation |
2003 |
Gogolla M., Bohling J., Richters M. |
|
|
|
Lecture Notes in Computer Science |
29.11.2003 |
|
СТ |
Analysis of UML Stereotypes within the UML Metamodel |
2002 |
Gogolla M., Henderson-Sellers B. |
|
|
|
Lecture Notes in Computer Science |
30.10.2002 |
|
СТ |
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation |
2002 |
Kuske S., Gogolla M., Kollmann R., Kreowski H. -J. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
OCL: Syntax, Semantics, and Tools |
2002 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
11.04.2002 |
|
СТ |
Expressing UML Class Diagrams Properties with OCL |
2002 |
Gogolla M., Richters M. |
|
|
|
Lecture Notes in Computer Science |
11.04.2002 |
|
СТ |
Capturing Dynamic Program Behaviour with UML Collaboration Diagrams |
2001 |
Kollmann R., Gogolla M. |
|
|
|
Proc. of the Fifth European Conf. on Software Maintenance and Reengineering, Lisbon, Portugal, 14-16 March, 2001 |
21.07.2001 |
|
СТ |
Validating UML Models and OCL Constraints |
2000 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
11.11.2000 |
|
СТ |
A Metamodel for OCL |
1999 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
Towards Three-Dimensional Representation and Animation of UML Diagrams |
1999 |
Gogolla M., Radfelder O., Richters M. |
|
|
|
Lecture Notes in Computer Science |
05.11.1999 |
|
СТ |
On Formalizing the UML Object Constraint Language OCL |
1998 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
25.11.1998 |
|
СТ |
A Web-based Animator for Object Specifications in a Persistent Environment |
1997 |
Richters M., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
16.05.1997 |
|
СТ |
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 |
|
СТ |
On Formal Semantics of Some Semantic Data Models |
1994 |
Gogolla M. |
|
|
|
Proc. of the Ninth Intern. Symp. on Computer and Information Sciences - ISCIS IX |
20.05.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 |
|
СТ |
Translating TROLL light Concepts to Maude |
1994 |
Denker G., Gogolla M. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
|
М |
An Extended Entity-Relationship Model. Fundamentals and Pragmatics |
1994 |
Gogolla M. |
Lecture Notes in Computer Science |
|
|
|
01.03.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 |
|
СТ |
An Annotated Bibliography on Object-Orientation and Deduction |
1992 |
Conrad S., Gogolla M. |
|
|
|
SIGMOD Record |
07.04.1992 |
|
СТ |
Towards a Semantic View of an Extended Entity-Relationship Model |
1991 |
Gogolla M., Hohenstein U. |
|
|
|
ACM Trans. Database Systems |
28.11.1991 |
