Search Sciweavers | Sciweavers

2700 search results - page 26 / 540

» The role of abstraction in software engineering

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

14 years 3 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

14 years 3 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

click to vote

CGO
2007
IEEE

101views Software Engineering» more CGO 2007»

Graph-Based Procedural Abstraction

14 years 2 months ago

Download www2.informatik.uni-erlangen.de

A. Dreweke, Marc Wörlein, Ingrid Fischer, D. ...

claim paper

Read More »

click to vote

APSEC
2005
IEEE

100views Software Engineering» more APSEC 2005»

Data Abstraction and Constraint Solving for Conformance Testing

14 years 2 months ago

Download www.win.tue.nl

Jens R. Calame, Natalia Ioustinova, Jaco van de Po...

claim paper

Read More »

click to vote

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers