Search Sciweavers | Sciweavers

2700 search results - page 21 / 540

» The role of abstraction in software engineering

130

click to vote

ISSRE
2007
IEEE

67views Software Engineering» more ISSRE 2007»

Requirement Error Abstraction and Classification: A Control Group Replicated Study

15 years 7 months ago

Download cs.ua.edu

Gursimran Singh Walia, Jeffrey C. Carver, Thomas P...

claim paper

Read More »

126

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 4 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

143

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

15 years 3 months ago

Download www.doc.ic.ac.uk

Thomas Dinsdale-Young, Philippa Gardner, Mark J. W...

claim paper

Read More »

145

click to vote

ICSE
2011
IEEE-ACM

191views Software Engineering» more ICSE 2011»

Program abstractions for behaviour validation

14 years 9 months ago

Download publicaciones.dc.uba.ar

Guido de Caso, Víctor A. Braberman, Diego G...

claim paper

Read More »

158

click to vote

DAGSTUHL
2011

229views Software Engineering» more DAGSTUHL 2011»

Abstract Feature Space Representation for Volumetric Transfer Function Exploration

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers