Search Sciweavers | Sciweavers

12981 search results - page 282 / 2597

» Model Checking and Abstraction

121

click to vote

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 8 months ago

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

122

click to vote

MODELLIERUNG
2008

81views Software Engineering» more MODELLIERUNG 2008»

Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes

15 years 8 months ago

Download wwwteo.informatik.uni-rostock.de

Niels Lohmann, Jens Kleine

claim paper

Read More »

124

click to vote

DAGSTUHL
2004

83views Software Engineering» more DAGSTUHL 2004»

04101 Abstracts Collection - Language Engineering for Model-Driven Software Development

15 years 8 months ago

Download drops.dagstuhl.de

Jean Bézivin, Reiko Heckel

claim paper

Read More »

146

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 8 months ago

Download drops.dagstuhl.de

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

claim paper

Read More »

118

click to vote

DAGSTUHL
2006

126views Software Engineering» more DAGSTUHL 2006»

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers