Вы здесь

Gogolla M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Metamodel for OCL 1999 Richters M., Gogolla M. Lecture Notes in Computer Science 05.11.1999
СТ A SQL-like Query Calculus for Object-Oriented Database Systems 1994 Herzig R., Gogolla M. Lecture Notes in Computer Science 13.10.1994
СТ A Web-based Animator for Object Specifications in a Persistent Environment 1997 Richters M., Gogolla M. Lecture Notes in Computer Science 16.05.1997
СТ 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
СТ An Annotated Bibliography on Object-Orientation and Deduction 1992 Conrad S., Gogolla M. SIGMOD Record 07.04.1992
М An Extended Entity-Relationship Model. Fundamentals and Pragmatics 1994 Gogolla M. Lecture Notes in Computer Science 01.03.1994
СТ 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
СТ Analysis of UML Stereotypes within the UML Metamodel 2002 Gogolla M., Henderson-Sellers B. Lecture Notes in Computer Science 30.10.2002
СТ Benefits and Problems of Formal Methods 2004 Gogolla M. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.07.2004
СТ 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
СТ Expressing UML Class Diagrams Properties with OCL 2002 Gogolla M., Richters M. Lecture Notes in Computer Science 11.04.2002
СТ 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
СТ 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
СТ OCL Extended with Temporal Logic 2003 Ziemann P., Gogolla M. Lecture Notes in Computer Science 18.02.2004
СТ OCL: Syntax, Semantics, and Tools 2002 Richters M., Gogolla M. Lecture Notes in Computer Science 11.04.2002
СТ 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
СТ On Formalizing the UML Object Constraint Language OCL 1998 Richters M., Gogolla M. Lecture Notes in Computer Science 25.11.1998
СТ Sketching Concepts and Computational Model of TROLL light 1993 Gogolla M., Conrad S., Herzig R. Lecture Notes in Computer Science 09.10.1993
СТ 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
СТ 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
СТ Towards Three-Dimensional Representation and Animation of UML Diagrams 1999 Gogolla M., Radfelder O., Richters M. Lecture Notes in Computer Science 05.11.1999
СТ Towards a Semantic View of an Extended Entity-Relationship Model 1991 Gogolla M., Hohenstein U. ACM Trans. Database Systems 28.11.1991
СТ Translating TROLL light Concepts to Maude 1994 Denker G., Gogolla M. Lecture Notes in Computer Science 04.06.1994
СТ Validating UML Models and OCL Constraints 2000 Richters M., Gogolla M. Lecture Notes in Computer Science 11.11.2000
СТ 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