Search Sciweavers | Sciweavers

2700 search results - page 8 / 540

» The role of abstraction in software engineering

click to vote

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

13 years 12 months ago

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

13 years 10 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

CISIS
2010
IEEE

139views Software Engineering» more CISIS 2010»

Space-Based Architectures as Abstraction Layer for Distributed Business Applications

14 years 3 months ago

Download cocoon.ifs.tuwien.ac.at

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

claim paper

Read More »

click to vote

SCAM
2008
IEEE

114views Software Engineering» more SCAM 2008»

The Semantics of Abstract Program Slicing

14 years 2 months ago

Download www.dcs.kcl.ac.uk

Damiano Zanardini

claim paper

Read More »

click to vote

SEFM
2008
IEEE

118views Software Engineering» more SEFM 2008»

Widening Operators for Abstract Interpretation

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers