Search Sciweavers | Sciweavers

2700 search results - page 8 / 540

» The role of abstraction in software engineering

125

click to vote

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

15 years 9 months ago

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

132

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 7 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

129

click to vote

CISIS
2010
IEEE

139views Software Engineering» more CISIS 2010»

Space-Based Architectures as Abstraction Layer for Distributed Business Applications

16 years 27 days ago

Download cocoon.ifs.tuwien.ac.at

Richard Mordinyi, eva Kühn, Alexander Schatte...

claim paper

Read More »

112

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

16 years 12 days ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

144

click to vote

SEFM
2008
IEEE

118views Software Engineering» more SEFM 2008»

Widening Operators for Abstract Interpretation

16 years 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers