Search Sciweavers | Sciweavers

2700 search results - page 5 / 540

» The role of abstraction in software engineering

137

click to vote

QSIC
2008
IEEE

102views Software Engineering» more QSIC 2008»

Testing in the Distributed Test Architecture: An Extended Abstract

16 years 12 days 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

16 years 8 days ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

131

click to vote

TMRA
2007
Springer

130views Software Engineering» more TMRA 2007»

Mapping between the Dublin Core Abstract Model DCAM and the TMDM

16 years 3 days ago

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

144

click to vote

VMCAI
2007
Springer

90views Software Engineering» more VMCAI 2007»

More Precise Partition Abstractions

16 years 3 days ago

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

126

click to vote

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

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

16 years 2 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers