Search Sciweavers | Sciweavers

15824 search results - page 106 / 3165

» Specialising in Software Engineering

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

Download www.adacore.com

Javier Miranda, Edmond Schonberg

claim paper

Read More »

click to vote

AOSD
2006
ACM

156views Software Engineering» more AOSD 2006»

Design beyond human abilities

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers