Search Sciweavers | Sciweavers

14809 search results - page 118 / 2962

» Model transformation by demonstration

138

click to vote

CSL
2008
Springer

121views Automated Reasoning» more CSL 2008»

Model Transformations in Decidability Proofs for Monadic Theories

15 years 7 months ago

Download www-i7.informatik.rwth-aachen.de

We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...

Wolfgang Thomas

claim paper

Read More »

126

click to vote

SE
2010

163views Software Engineering» more SE 2010»

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations

15 years 7 months ago

Download www.cs.uni-paderborn.de

Stefan Henkler, Martin Hirsch, Claudia Priesterjah...

claim paper

Read More »

click to vote

WEBIST
2008

58views Internet Technology» more WEBIST 2008»

Transforming a Competency Model to Assessment Items

15 years 7 months ago

Download eprints.ecs.soton.ac.uk

Onjira Sitthisak, Lester Gilbert, Hugh C. Davis

claim paper

Read More »

126

click to vote

DAGSTUHL
2004

123views Software Engineering» more DAGSTUHL 2004»

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

15 years 7 months ago

Download drops.dagstuhl.de

Barbara König, Ugo Montanari, Philippa Gardne...

claim paper

Read More »

115

click to vote

DAGSTUHL
2004

86views Software Engineering» more DAGSTUHL 2004»

Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers