Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Wissensnetz

Person
Person

Person

Claudia Ermel

Informatikerin

Name

Claudia Ermel

Ort

Berlin (Wirkungsort)
Deutschland

Akademischer Grad bzw. Titel

Dr.-Ing.

Beruf

Informatikerin (charakteristischer Beruf)
Ingenieurin

Variante

C. Ermel

Datensatztyp

Person

GND-Nummer

114558914

Datensatz-ID

114558914

Beteiligt an

alle anzeigen

Programmieren und zeichnen mit Python für Dummies Junior

Programmieren und zeichnen mit Python für Dummies Junior

A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version

Concurrency in Reconfigurable Place/Systems : Independence of Net Transformations as well as Net Transformations and Token Firing

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version

Conflict Detection for Model Versioning Based on Graph Modifications: Long Version

Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars

Evolution of Model Transformations by Model Refactoring: Long Version

Formal Analysis and Verication of Self-Healing Systems: Long Version

Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems

Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature

Generation of Simulation Views for Domain Specic Modeling Languages based on the Eclipse Modeling Framework

Low- and High-Level Petri Nets with Individual Tokens

Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior

On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)

On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version

Pre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010)

Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version

Spaß mit Elektronik für Dummies Junior

Spaß mit Elektronik für Dummies Junior

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version)

Behavior and confluence analysis of M-adhesive transformation systems using M-functors

Graph and Model Transformation : General Framework and Applications

Erste Schritte mit Python für Dummies Junior

Entwicklung, Erprobung und Etablierung eines interdisziplinären, experimentellen Umweltbildungsmoduls zur Energiewende für Schülerinnen und Schüler im Schülerlabor dEIn Labor der Technischen Universität Berlin, AZ 31949

Graph and model transformation : general framework and applications

Graph and Model Transformation : General Framework and Applications

Analysis of hypergraph transformation systems in AGG based on M-functors : extended version

Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors: extended version

A formal resolution strategy for operation-based conflicts in model versioning using graph modifications

Functors between M-adhesive categories applied to Petri net and graph transformation systems

Pre-proceedings of the International Colloquium on Graph and Model Transformation - on the Occasion of the 65th Birthday of Hartmut Ehrig : [February 11 - 12, 2010, TU Berlin]

Evolution of model transformations by model refactoring : long version

Generation of simulation views for domain specific modeling languages based on the eclipse modeling framework

Implementing Petri Net Transformations using Graph Transformation Tools

On the relationship of model transformations based on triple and plain graph grammars : (long version)

Semantical correctness and completeness of model transformations using graph und rule transformation : long version

Transformation of type graphs with inheritance for ensuring security in e-government networks : (long version)

Semantical correctness of simulation to animation model and rule transformation : long version

Simulation and animation of visual languages based on typed algebraic graph transformation

Simulation and animation of visual languages based on typed algebraic graph transformation

Simulation and Animation of Visual Languages based on Typed Algebraic Graph Transformation

Scenario animation for visual behavior models: A generic approach

Simulating algebraic high level nets by parallel attributed graph transformation : long version

Generic description of syntax, behavior and animation of visual models

Formalization of variables in algebraic high level nets : comparison of different approaches

Refinement versus verification : compatibility of net invariants and stepwise development of high level Petri nets

A taste of categorical Petri nets

Anforderungsanalyse eines medizinischen Informationssystems mit algebraischen High-Level-Netzen
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal