|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
A formal approach to the specification and transformation of constraints in MDE.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter |
A formalisation of the copy-modify-merge approach to version control in MDE. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
A Formalisation of Constraint-Aware Model Transformations. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
A Diagrammatic Formalisation of MOF-Based Modelling Languages. |
TOOLS |
2009 |
DBLP DOI BibTeX RDF |
Meta-Object Facility, Eclipse Modeling Framework, Diagram Predicate Framework, diagrammatic specification, Unified Modeling Language, Model-Driven Engineering, Object Constraint Language |
| 1 | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zinovy Diskin, Uwe Wolter |
A Diagrammatic Logic for Object-Oriented Visual Modeling. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Zinovy Diskin |
Contexts and Context Awareness in View of the Diagram Predicate Framework. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Rutle, Uwe Wolter, Yngve Lamo |
A diagrammatic approach to model transformations. |
EATIS |
2008 |
DBLP DOI BibTeX RDF |
diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations |
| 1 | Alfio Martini, Uwe Wolter, Edward Hermann Haeusler |
Fibred and Indexed Categories for Abstract Model Theory. |
Logic Journal of the IGPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
Cofree Coalgebras for Signature Morphisms. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
CSP, partial automata, and coalgebras. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. |
Applied Categorical Structures |
2001 |
DBLP DOI BibTeX RDF |
concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints |
| 1 | Uwe Wolter |
On Corelations, Cokernels, and Coequations. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
A coalgebraic introduction to CSP. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter |
Applications of Category Theory to the Area of Algebraic Specification in Computer Science. |
Applied Categorical Structures |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfio Martini, Uwe Wolter |
A Single Perspective on Arrows between Institutions. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini |
Integrating the Specification Techniques of Graph Transformation and Temporal Logic. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter |
From abstract data types to algebraic development techniques: A shift of paradigms. |
WADT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfio Martini, Uwe Wolter |
A systematic study of mappings between institutions. |
WADT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Alfio Martini |
Shedding the New Light in the World of Logical Systems. |
Category Theory and Computer Science |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Uwe Wolter |
The Impact and Future Role of Algebraic Specification. |
Bulletin of the EATCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ingo Claßen, Martin Große-Rhode, Uwe Wolter |
Categorical Concepts for Parameterized Partial Specifications. |
Mathematical Structures in Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Löwe, Uwe Wolter |
Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. |
Mathematical Structures in Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter |
On the Role of Category Theory in the Area of Algebraic Specification. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar |
How to Cope with the Spectrum of SPECTRUM. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
Institutional Frames. |
COMPASS/ADT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Große-Rhode, Uwe Wolter |
Two-Categorical Specification of Partial Algebras. |
COMPASS/ADT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter, Michael Löwe |
Beyond Conditional Equations: Quasi-Initial Semantics for Parametric Algebraic Specifications. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
An Algebraic Approach to Deduction in Equational Partial Horn Theories. |
Elektronische Informationsverarbeitung und Kybernetik |
1991 |
DBLP BibTeX RDF |
|
| 1 | Uwe Wolter |
Narrowing in Partial Conditional Equational Theories (Abstract). |
ALP |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")