Search Sciweavers | Sciweavers

2700 search results - page 26 / 540

» The role of abstraction in software engineering

130

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

16 years 27 days ago

Download rosaec.snu.ac.kr

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

claim paper

Read More »

116

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

16 years 19 days ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

121

click to vote

CGO
2007
IEEE

101views Software Engineering» more CGO 2007»

Graph-Based Procedural Abstraction

16 years 12 days ago

Download www2.informatik.uni-erlangen.de

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

claim paper

Read More »

107

click to vote

APSEC
2005
IEEE

100views Software Engineering» more APSEC 2005»

Data Abstraction and Constraint Solving for Conformance Testing

15 years 11 months ago

Download www.win.tue.nl

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

claim paper

Read More »

121

click to vote

WCRE
2002
IEEE

107views Software Engineering» more WCRE 2002»

Semantic Grep: Regular Expressions + Relational Abstraction

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers