Search Sciweavers | Sciweavers

2700 search results - page 17 / 540

» The role of abstraction in software engineering

click to vote

CISIS
2009
IEEE

96views Software Engineering» more CISIS 2009»

Federation and Abstraction of Heterogeneous Global Computing Platforms with the YML Framework

14 years 3 months ago

Download yml.prism.uvsq.fr

Laurent Choy, Olivier Delannoy, Nahid Emad, Serge ...

claim paper

Read More »

click to vote

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

14 years 3 months ago

Download www.cs.kent.edu

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic

claim paper

Read More »

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

14 years 2 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

click to vote

SEAA
2008
IEEE

137views Software Engineering» more SEAA 2008»

SAIL: A Sensor Abstraction and Integration Layer for Context Awareness

14 years 2 months ago

Download winslab.cnu.ac.kr

Michele Girolami, Stefano Lenzi, Francesco Furfari...

claim paper

Read More »

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers