Search Sciweavers | Sciweavers

2060 search results - page 62 / 412

» The Composition of Event-B Models

107

click to vote

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

A graph-based approach to modeling and detecting composition conflicts related to introductions

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Wilke Havinga, István Nagy, Lodewijk Bergma...

claim paper

Read More »

138

click to vote

BPM
2006
Springer

107views Business» more BPM 2006»

Workflow Model Compositions Preserving Relaxed Soundness

15 years 10 months ago

Download user.cs.tu-berlin.de

Juliane Siegeris, Armin Zimmermann

claim paper

Read More »

125

click to vote

ER
2006
Springer

101views Database» more ER 2006»

The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling

15 years 9 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

162

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 9 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

101

click to vote

ECOOP
1989
Springer

74views Programming Languages» more ECOOP 1989»

A Compositional Model for Software Reuse

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers