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

15 years 3 months ago

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

Voted

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 1 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

15 years 6 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

15 years 6 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers