| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Judith Michael, Heinrich C. Mayr |
Behavior Model Mapping.  |
MDA/MDSD  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Software-Integration im "Unternehmen" Universität: von den Kernprozessen bis zum Controlling.  |
Vom Projekt zum Produkt  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gregor Engels, Dimitris Karagiannis, Heinrich C. Mayr (eds.) |
Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich  |
Modellierung  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jianhua Yang, Athula Ginige, Heinrich C. Mayr, Ralf-Detlef Kutsche (eds.) |
Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings  |
UNISCON  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kop, Heinrich C. Mayr, Günther Fliedl, Elisabeth Métais |
Special issue on Natural Language Processing and Information Systems (NLDB 2006).  |
Data Knowl. Eng.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Hesse, Heinrich C. Mayr |
Modellierung in der Softwaretechnik: eine Bestandsaufnahme.  |
Informatik Spektrum  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Hesse, Heinrich C. Mayr |
Modellierung in der Softwaretechnik.  |
Informatik Spektrum  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir A. Shekhovtsov, Christian Kop, Heinrich C. Mayr |
Capturing the Semantics of Quality Requirements into an Intermediate Predesign Model.  |
SIGSAND-EUROPE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Heinrich C. Mayr |
Templates in Domain Modeling - A Survey.  |
The Evolution of Conceptual Modeling ![In: The Evolution of Conceptual Modeling - From a Historical Perspective towards the Future of Conceptual Modeling [outcome of a Dagstuhl seminar held 2008]., pp. 21-41, 2008, Springer, 978-3-642-17504-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doris Gälle, Christian Kop, Heinrich C. Mayr |
A Uniform Web Service Description Representation for Different Readers.  |
ICDS  |
2008 |
DBLP DOI BibTeX RDF |
Web service description, Human-friendly Service Description, Web service |
| 1 | Roland Kaschek, Christian Kop, Vladimir A. Shekhovtsov, Heinrich C. Mayr |
Towards Simulation-Based Quality Requirements Elicitation: A Position Paper.  |
REFSQ  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr, Alexander Salbrechter, Jürgen Vöhringer, Georg Weber, Christian Winkler |
Deriving static and dynamic concepts from software requirements using sophisticated tagging.  |
Data Knowl. Eng.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xufeng (Danny) Liang, Christian Kop, Athula Ginige, Heinrich C. Mayr |
Turning Concepts Into Reality - Bridging Requirement Engineering and Model-Driven Generation of Web Applications.  |
ICSOFT (ISDM/EHST/DC)  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Christian Kop, Daniela Esberger |
Business Process Modeling and Requirements Modeling.  |
ICDS  |
2007 |
DBLP DOI BibTeX RDF |
Requirements Engineering, Business Process Modeling, Business Process Management |
| 1 | Heinrich C. Mayr, Dimitris Karagiannis (eds.) |
Information Systems Technology and its Applications, 6th International Conference ISTA'2007, May 23-25, 2007, Kharkiv, Ukraine  |
ISTA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrej Bachmann, Wolfgang Hesse, Aaron Ruß, Christian Kop, Heinrich C. Mayr, Jürgen Vöhringer |
A Practical Approach to Ontology-based Software Engineering.  |
EMISA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Klaus-Dieter Schewe, Bernhard Thalheim, Tatjana Welzer |
Integration of Bargaining into E-Business Systems.  |
Informatica (Slovenia)  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Susanne Biundo, Volker Claus, Heinrich C. Mayr |
Was ist Informatik? - unser Positionspapier.  |
|
2006 |
RDF |
|
| 1 | Dimitris Karagiannis, Heinrich C. Mayr (eds.) |
Information Systems Technology and its Applications, 5th International Conference ISTA'2006, May 30-31, 2006, Klagenfurt, Austria  |
ISTA  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Anforderungsmodellierung und Ontologiebildung: Das A & O der Softwareentwicklung?  |
Beratung in der Softwareentwicklung  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Witold Abramowicz, Heinrich C. Mayr (eds.) |
Business Information Systems, 9th International Conference on Business Information Systems, BIS 2006, May 31 - June 2, 2006, Klagenfurt, Austria  |
BIS  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Ruth Breu (eds.) |
Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings  |
Modellierung  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais (eds.) |
Natural Language Processing and Information Systems, 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceeding  |
NLDB  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Conceptual requirements modeling: a contribution to XNP(eXtreme non programming).  |
APCCM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr |
From textual scenarios to a conceptual schema.  |
Data Knowl. Eng.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kaschek, Heinrich C. Mayr, Stephen W. Liddle (eds.) |
Information Systems Technology and its Applications, 4th International Conference ISTA'2005, 23-25 May, 2005, Palmerston North, New Zealand  |
ISTA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Jürgen Vöhringer, Martin Hölbling, Thomas Horn, Heinrich C. Mayr, Christian Irrasch |
Tool Supported Extraction of Behavior Models.  |
ISTA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lois M. L. Delcambre, Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor (eds.) |
Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings  |
ER  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jacky Akoka, Stephen W. Liddle, Il-Yeol Song, Michela Bertolotto, Isabelle Comyn-Wattiau, Samira Si-Said Cherfi, Willem-Jan van den Heuvel, Bernhard Thalheim, Manuel Kolp, Paolo Bresciani, Juan Trujillo, Christian Kop, Heinrich C. Mayr (eds.) |
Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings  |
ER (Workshops)  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr, Martin Hölbling, Thomas Horn, Georg Weber, Christian Winkler |
Extended Tagging and Interpretation Tools for Mapping Requirements Texts to Conceptual (Predesign) Models.  |
NLDB  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Matthias Jarke |
Zukunft der GI.  |
Informatik Spektrum  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr |
Recent Results of the NLRE (Natural Language based Requirements Engineering) Project.  |
EMISA Forum  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alexander Salbrechter, Heinrich C. Mayr, Christian Kop |
Mapping pre-designed business process models to UML.  |
IASTED Conf. on Software Engineering and Applications  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Anatoly E. Doroshenko, Terry A. Halpin, Stephen W. Liddle, Heinrich C. Mayr (eds.) |
Information Systems Technology and its Applications, 3rd International Conference ISTA'2004, June 15-17, 2004, Salt Lake City, Utah, USA, Proceedings  |
ISTA  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Heinrich C. Mayr, Tatjana Zavinska |
Using KCPM for Defining and Integrating Domain Ontologies.  |
WISE Workshops  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Willem-Jan van den Heuvel |
Preface to eCOMO 2004.  |
ER (Workshops)  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Wang, Dongqing Yang, Katsumi Tanaka, Fabio Grandi, Shuigeng Zhou, Eleni E. Mangina, Tok Wang Ling, Il-Yeol Song, Jihong Guan, Heinrich C. Mayr (eds.) |
Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November 8-12, 2004, Proceedings  |
ER (Workshops)  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Hesse, Roland Kaschek, Heinrich C. Mayr, Bernhard Thalheim |
Ontologien in der und für die Softwaretechnik.  |
Modellierung  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr, Christian Winkler, Georg Weber, Alexander Salbrechter |
Semantic Tagging and Chunk-Parsing in Dynamic Modeling.  |
NLDB  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Godlevsky, Stephen W. Liddle, Heinrich C. Mayr (eds.) |
Information Systems Technology and its Applications, International Conference ISTA'2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings  |
ISTA  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marcela Genero, Fabio Grandi, Willem-Jan van den Heuvel, John Krogstie, Kalle Lyytinen, Heinrich C. Mayr, Jim Nelson, Antoni Olivé, Mario Piattini, Geert Poels, John F. Roddick, Keng Siau, Masatoshi Yoshikawa, Eric S. K. Yu (eds.) |
Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers  |
ER (Workshops)  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Willem-Jan van den Heuvel |
Preface to eCOMO 2003.  |
ER (Workshops)  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr |
From Scenarios to KCPM Dynamic Schemas: Aspects of Automatic Mapping.  |
NLDB  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Grußwort des GI-Präsidenten.  |
Informatik Spektrum  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Arndt Bode, Klaus R. Dittrich |
editorial: Informatik Spektrum goes Switzerland.  |
Informatik Spektrum  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Jarke, Heinrich C. Mayr |
Mediengestütztes Anforderungsmanagement.  |
Informatik Spektrum  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Jörg Maas |
Perspektiven der Informatik.  |
Informatik Spektrum  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Do We Need an Ontology of Ontologies?  |
ER  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Arisawa, Yahiko Kambayashi, Vijay Kumar, Heinrich C. Mayr, Ingrid Hunt (eds.) |
ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001, Revised Papers  |
ER (Workshops)  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Christian Kop |
A User Centered Approach to Requirements Modeling.  |
Modellierung  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mykola V. Tkachuk, Heinrich C. Mayr, Dmytry V. Kuklenko, Michail D. Godlevsky |
Web-Based Process Control Systems: Architectural Patterns, Data Models, and Services.  |
EurAsia-ICT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jürgen Appelrath, Rolf Beyer, Uwe Marquardt, Heinrich C. Mayr, Claudia Steinberger (eds.) |
Unternehmen Hochschule, Symposium UH2001, 26. September 2001, Wien, Österreich, Proceedings  |
UH  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mikhail Godlevsky, Heinrich C. Mayr (eds.) |
Information Systems Technology and its Applications, International Conference ISTA'2001, June 13-15, 2001, Kharkiv, Ukraine, Proceedings  |
ISTA  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Jörg Maas |
Perspektiven der Informatik.  |
DFN Arbeitstagung über Kommunikationsnetze  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Jirí Lazanský, Gerald Quirchmayr, Pavel Vogel (eds.) |
Database and Expert Systems Applications, 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001, Proceedings  |
DEXA  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
The NIBA Approach to Quantity Settings and Conceptual Predesign.  |
NLDB  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Heinrich C. Mayr, Willi Mayerthaler, Christian Winkler |
Linguistically based requirements engineering - The NIBA-project.  |
Data Knowl. Eng.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabeth Métais, Heinrich C. Mayr |
NLDB'99: Applications of natural language to information systems.  |
Data Knowl. Eng.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Editorial: Liebe Mitglieder der Gesellschaft für Informatik.  |
Informatik Spektrum  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen W. Liddle, Heinrich C. Mayr, Bernhard Thalheim (eds.) |
Conceptual Modeling for E-Business and the Web, ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings  |
ER (Workshops)  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Guidelines for NL-Based Requirements Specifications in NIBA.  |
NLDB  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Linguistic Aspects of Dynamics in Requirements Specifications. (PDF / PS)  |
DEXA Workshops  |
2000 |
DBLP DOI BibTeX RDF |
linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis |
| 1 | Heinrich C. Mayr |
Was sollten Informatikerinnen und Informatiker moregen über Informationssysteme wissen?  |
EMISA  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hans-Jürgen Appelrath, Uwe Marquardt, Heinrich C. Mayr |
Workshop "Unternehmen Hochschule".  |
GI Jahrestagung  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Roland Kaschek, Heinrich C. Mayr |
Characteristics of Object Oriented Modeling Methods.  |
EMISA Forum  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Heinrich C. Mayr |
Conceptual Predesign as a Stopover for Mapping Natural Language Requirements Sentences to State Chart Patterns.  |
ECOOP Workshops  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Christian Kop |
Conceptual Predesign - Bridging the Gap between Requirements and Conceptual Design. (PDF / PS)  |
ICRE  |
1998 |
DBLP DOI BibTeX RDF |
conceptual predesign, requirements elicitation, conceptual design, object oriented analysis |
| 1 | Heinrich C. Mayr |
Entwicklungsmethodologie für Informationssysteme: Wunsch und Wirklichkeit.  |
Modellierung  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Hesse, Heinrich C. Mayr |
Highlights of the SAMMOA Framework for Object-Oriented Application Modeling.  |
DEXA  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Disambiguation of Part-of Relationships within the NIBA Project.  |
DEXA Workshops  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Wolffried Stucky, Ernst Denert, Heinrich C. Mayr |
Mit der GI voran.  |
Informatik Spektrum  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Heinrich C. Mayr |
Objektorientierte Analyse und konzeptueller Vorentwurf.  |
EMISA Forum  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Comments on "What's in a relationship? On distinguishing property holding and object binding" by S. Kelly.  |
ISCO  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christian Kop, Heinrich C. Mayr |
Objektorientierte Analyse und konzeptueller Vorentwurf.  |
EMISA  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roland Kaschek, Heinrich C. Mayr |
Methoden und Werkzeuge für den Datenbank-Entwurf (Projektbeschreibung).  |
Grundlagen von Datenbanken  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Klaus R. Dittrich, Peter C. Lockemann |
Datenbankentwurf.  |
Datenbankhandbuch  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Roland Wagner, Roland Traunmüller, Heinrich C. Mayr (eds.) |
Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings  |
EMISA  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Peter C. Lockemann, Heinrich C. Mayr |
Information System Design: Techniques and Software Support (Invited Paper).  |
IFIP Congress  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr |
Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen.  |
Software-Architektur  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Peter C. Lockemann, Martin Bever |
A Framework for Application Systems Engineering.  |
Inf. Syst.  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Gaube, Heinrich C. Mayr, Peter C. Lockemann |
Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties.  |
European Conference on Computer Algebra  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Fischer, Heinrich C. Mayr |
Zur Anwendung unterschiedlicher Simulationsstrategien auf dasselbe Modellobjekt.  |
Simulationstechnik  |
1982 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
ORS Specifications: Ideas, Application Examples, and Experiences.  |
ADT  |
1982 |
DBLP BibTeX RDF |
|
| 1 | H. Thoma, Heinrich C. Mayr, U. Lindenthal, Karl Dürre |
BUTLER: Grundsoftware für interaktive Dienstleistungen.  |
Angewandte Informatik  |
1981 |
DBLP BibTeX RDF |
|
| 1 | Karl Dürre, Heinrich C. Mayr, Gerd A. T. Müller, H. Thoma |
KISS: Das Karlsruher interaktive Soziometrie-System.  |
Angewandte Informatik  |
1981 |
DBLP BibTeX RDF |
|
| 1 | Martin Bever, Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr |
Construction of Application Systems: Some Aspects of Standardization.  |
ECI  |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Make More of Data Types.  |
Workshop on Data Abstraction, Databases and Conceptual Modelling  |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes |
Types (discussion).  |
Workshop on Data Abstraction, Databases and Conceptual Modelling  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr |
Zur Spezifikation von Datentypen.  |
Software Engineering  |
1980 |
DBLP BibTeX RDF |
|
| 1 | Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber |
Data Abstractions for Database Systems.  |
ACM Trans. Database Syst.  |
1979 |
DBLP DOI BibTeX RDF |
data structure, specification, data model, abstract data type, database design, integrity constraints, data type, data abstraction, data manipulation language, database schema, database consistency, data definition language |
| 1 | Heinrich C. Mayr, Bernd E. Meyer (eds.) |
Formale Modelle für Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing  |
Formale Modelle für Informationssysteme  |
1979 |
DBLP BibTeX RDF |
|
| 1 | Heinrich C. Mayr, Peter C. Lockemann |
Formal Modelling of Discrete Dynamic Systems.  |
Performance  |
1976 |
DBLP BibTeX RDF |
|