Search Sciweavers | Sciweavers

2700 search results - page 5 / 540

» The role of abstraction in software engineering

click to vote

QSIC
2008
IEEE

102views Software Engineering» more QSIC 2008»

Testing in the Distributed Test Architecture: An Extended Abstract

14 years 2 months ago

Download bura.brunel.ac.uk

Robert M. Hierons

claim paper

Read More »

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

14 years 2 months ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

click to vote

TMRA
2007
Springer

130views Software Engineering» more TMRA 2007»

Mapping between the Dublin Core Abstract Model DCAM and the TMDM

14 years 2 months ago

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

click to vote

VMCAI
2007
Springer

90views Software Engineering» more VMCAI 2007»

More Precise Partition Abstractions

14 years 2 months ago

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

click to vote

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers