Search Sciweavers | Sciweavers

2700 search results - page 6 / 540

» The role of abstraction in software engineering

click to vote

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

14 years 2 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Roberto Giacobazzi

claim paper

Read More »

click to vote

SEFM
2005
IEEE

108views Software Engineering» more SEFM 2005»

A Framework for Component-based Construction Extended Abstract

14 years 2 months ago

Download www-verimag.imag.fr

Joseph Sifakis

claim paper

Read More »

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

14 years 1 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

click to vote

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

14 years 1 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

click to vote

SIGSOFT
2004
ACM

115views Software Engineering» more SIGSOFT 2004»

Explaining abstract counterexamples

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers