Search Results - "Ehrig, Hartmut"

A TRANSFORMATION-BASED COMPONENT FRAMEWORK FOR A GENERIC INTEGRATED MODELING TECHNIQUE.

Authors: Ehrig, Hartmut Orejas, Fernando Braatz, Benjamin et al.

Source: Journal of Integrated Design & Process Science. Dec2002, Vol. 6 Issue 4, p78. 27p.

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.

Authors: Hermann, Frank Ehrig, Hartmut Orejas, Fernando et al.

Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p241-269, 29p

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.

Authors: Ehrig, Hartmut Golas, Ulrike Habel, Annegret et al.

Source: Fundamenta Informaticae; 2012, Vol. 118 Issue 1-2, p35-63, 29p, 5 Diagrams

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures.

Authors: Ehrig, Hartmut Ehrig, Karsten Habel, Annegret et al.

Source: Fundamenta Informaticae; 2006, Vol. 74 Issue 1, p135-166, 32p, 31 Diagrams, 3 Charts

Behaviour and Instantiation of High-Level Petri Net Processes.

Authors: Ehrig, Hartmut¹, ehrig@cs.tu-berlin.de

Source: Fundamenta Informaticae; 2005, Vol. 65 Issue 3, p211-247, 37p, 7 Diagrams

A component framework for system modeling based on high-level replacement systems.

Authors: Ehrig, Hartmut Orejas, Fernando Braatz, Benjamin et al.

Source: Software & Systems Modeling; May2004, Vol. 3 Issue 2, p114-135, 22p

Petri net modules in the transformation-based component framework

Authors: Padberg, Julia Ehrig, Hartmut

Source: Journal of Logic & Algebraic Programming. Apr2006, Vol. 67 Issue 1/2, p198-225. 28p.

Subjects: Software engineering, Computer software, Petri nets, Graph theory, Nets (Mathematics)

Algebraic high-level net transformation systems.

Authors: Padberg, Julia Ehrig, Hartmut Ribeiro, Leila

Source: Mathematical Structures in Computer Science. Apr1995, Vol. 5 Issue 2, p217-256. 40p.

2013

Authors: Author Unknown

Resource Type: eBook.

Subjects: Festschriften--Bibliography, Festschriften--Indexes

Categories: REFERENCE / Bibliographies & Indexes, REFERENCE / General

Compositionality and compatibility of parameterization and parameter passing in specification languages.

Authors: Jiménez, Rosa M. Orejas, Fernando Ehrig, Hartmut

Source: Mathematical Structures in Computer Science. Apr1995, Vol. 5 Issue 2, p283-314. 32p.

$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.

Authors: EHRIG, HARTMUT GOLAS, ULRIKE HABEL, ANNEGRET et al.

Source: Mathematical Structures in Computer Science. Aug2014, Vol. 24 Issue 4, pN.PAG-00. 1p.

Introduction.

Authors: Corradini, Andrea Ehrig, Hartmut Rozenberg, Grzegorz et al.

Source: Mathematical Structures in Computer Science. 04/02/2002, Vol. 12 Issue 2, p111-111. 1p.

Book reviews.

Authors: Cornell, Gary Stewart, Ian

Source: Mathematical Intelligencer. Mar1984, Vol. 6 Issue 1, p69-76. 8p.

Konstruktion einer Methode für das systematische Mapping im Compliance-Management

Authors: Stephan Weber

Resource Type: eBook.

Subjects: Compliance

Categories: BUSINESS & ECONOMICS / General

Rethinking Epistemology : Volume 1

Authors: Günter Abel James Conant

Resource Type: eBook.

Subjects: Knowledge, Theory of

Categories: PHILOSOPHY / Epistemology, PHILOSOPHY / General, PHILOSOPHY / Logic, PHILOSOPHY / History & Surveys / Modern, PHILOSOPHY / Language

Current Trends In Theoretical Computer Science: The Challenge Of The New Centuryvol 1: Algorithms And Complexityvol 2: Formal Models And Semantics

Authors: Grzegorz Rozenberg Arto Salomaa Gheorghe Paun

Resource Type: eBook.

Subjects: Computer science

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Logic Design, COMPUTERS / Programming / Parallel

Semiotik / Semiotics. 1. Teilband

Authors: Roland Posner Klaus Robering Thomas A. Sebeok

Resource Type: eBook.

Subjects: Semiotics

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General