Search Sciweavers | Sciweavers

15783 search results - page 133 / 3157

» Evidence-Based Software Engineering

click to vote

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

Evolving TXL

14 years 4 months ago

Download www.dcs.kcl.ac.uk

Adrian D. Thurston, James R. Cordy

claim paper

Read More »

click to vote

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

14 years 4 months ago

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Static Analysis of Programs: A Heap Centric View

14 years 4 months ago

Download www.cse.iitb.ac.in

Uday P. Khedker

claim paper

Read More »

click to vote

SEFM
2006
IEEE

80views Software Engineering» more SEFM 2006»

Specifying Data-Flow Requirements for the Automated Composition of Web Services

14 years 4 months ago

Download www.astroproject.org

Annapaola Marconi, Marco Pistore, Paolo Traverso

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers