Search Sciweavers | Sciweavers

15777 search results - page 101 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SCAM
2005
IEEE

120views Software Engineering» more SCAM 2005»

Dynamic Slicing of Java Bytecode Programs

14 years 1 months ago

Download www.dcs.kcl.ac.uk

Attila Szegedi, Tibor Gyimóthy

claim paper

Read More »

click to vote

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Customised Induction Rules for Proving Correctness of Imperative Programs

14 years 1 months ago

Download i12www.ira.uka.de

Ola Olsson, Angela Wallenburg

claim paper

Read More »

click to vote

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

14 years 1 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Roberto Giacobazzi

claim paper

Read More »

click to vote

SEFM
2005
IEEE

231views Software Engineering» more SEFM 2005»

Logical Foundations of Program Assertions: What do Practitioners Want?

14 years 1 months ago

Download users.encs.concordia.ca

Patrice Chalin

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers