Search Sciweavers | Sciweavers

15777 search results - page 93 / 3156

» The Reformulation-Optimization Software Engine

123

click to vote

IWPC
2006
IEEE

89views Software Engineering» more IWPC 2006»

Programmer-friendly Decompiled Java

15 years 8 months ago

Download www.sable.mcgill.ca

Nomair A. Naeem, Laurie J. Hendren

claim paper

Read More »

click to vote

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

15 years 8 months ago

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

click to vote

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

AVal: an Extensible Attribute-Oriented Programming Validator for Java

15 years 8 months ago

Download www.dcs.kcl.ac.uk

Carlos Noguera, Renaud Pawlak

claim paper

Read More »

Voted

SCAM
2006
IEEE

97views Software Engineering» more SCAM 2006»

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

15 years 8 months ago

Download www.dcs.kcl.ac.uk

Árpád Beszédes, Tamás ...

claim paper

Read More »

click to vote

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

Evolving TXL

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers