Search Sciweavers | Sciweavers

15777 search results - page 93 / 3156

» The Reformulation-Optimization Software Engine

142

Voted

IWPC
2006
IEEE

89views Software Engineering» more IWPC 2006»

Programmer-friendly Decompiled Java

15 years 11 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 11 months ago

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

114

click to vote

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

AVal: an Extensible Attribute-Oriented Programming Validator for Java

15 years 11 months ago

Download www.dcs.kcl.ac.uk

Carlos Noguera, Renaud Pawlak

claim paper

Read More »

105

click to vote

SCAM
2006
IEEE

97views Software Engineering» more SCAM 2006»

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

15 years 11 months ago

Download www.dcs.kcl.ac.uk

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

claim paper

Read More »

115

click to vote

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

Evolving TXL

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers