Gregor Engels

Available identifiers

zbMath Open engels.gregorDBLPe/GregorEngelsWikidataQ102177139 ScholiaQ102177139MaRDI QIDQ1806127

List of research outcomes

Publication	Date of Publication	Type
Syntax and semantics of hybrid database languages	2022-08-16	Paper
Pragmatic and semantic aspects of a module concept for graph transformation systems	2019-01-10	Paper
Towards a Formal Framework for Inter-Enterprise Application Integration	2013-05-24	Paper
Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components	2010-12-07	Paper
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl	2010-11-26	Paper
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract	2008-11-27	Paper
Analysis of UML Activities Using Dynamic Meta Modeling	2007-11-28	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4738299	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4435868	2003-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4411047	2003-07-07	Paper
Relating functional requirements and software architecture: separation and consistency of concerns	2003-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2766549	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2754139	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q2728876	2001-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2735957	2001-09-04	Paper
Graph transformation for specification and programming	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4251214	1999-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4222795	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4692579	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4037318	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3738555	1986-01-01	Paper
An operational semantics for specifications of abstract data types with error handling	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3341872	1982-01-01	Paper

Research outcomes over time

This page was built for person: Gregor Engels