Search Sciweavers | Sciweavers

2700 search results - page 21 / 540

» The role of abstraction in software engineering

click to vote

ISSRE
2007
IEEE

67views Software Engineering» more ISSRE 2007»

Requirement Error Abstraction and Classification: A Control Group Replicated Study

13 years 10 months ago

Download cs.ua.edu

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

claim paper

Read More »

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

13 years 6 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

click to vote

VSTTE
2010
Springer

130views Software Engineering» more VSTTE 2010»

Abstraction and Refinement for Local Reasoning

13 years 6 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

click to vote

ICSE
2011
IEEE-ACM

191views Software Engineering» more ICSE 2011»

Program abstractions for behaviour validation

12 years 12 months ago

Download publicaciones.dc.uba.ar

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

claim paper

Read More »

click to vote

DAGSTUHL
2011

229views Software Engineering» more DAGSTUHL 2011»

Abstract Feature Space Representation for Volumetric Transfer Function Exploration

12 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers