Search Sciweavers | Sciweavers

2700 search results - page 18 / 540

» The role of abstraction in software engineering

click to vote

ISESE
2006
IEEE

92views Software Engineering» more ISESE 2006»

Requirement error abstraction and classification: an empirical study

14 years 2 months ago

Download cs.ua.edu

Gursimran Singh Walia, Jeffrey Carver, Thomas Phil...

claim paper

Read More »

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

14 years 1 months ago

Download www.cs.colorado.edu

Bor-Yuh Evan Chang, K. Rustan M. Leino

claim paper

Read More »

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

14 years 1 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

click to vote

APL
1999
ACM

64views Software Engineering» more APL 1999»

Regions: an abstraction for expressing array computation

14 years 23 days ago

Download www.cs.uiuc.edu

Bradford L. Chamberlain, E. Christopher Lewis, Cal...

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers