Sciweavers

15824 search results - page 105 / 3165

» Specialising in Software Engineering

37

IWPC
2006
IEEE

89views Software Engineering» more IWPC 2006»

Programmer-friendly Decompiled Java

14 years 4 months ago

Programmer-friendly Decompiled Java

Download www.sable.mcgill.ca

Nomair A. Naeem, Laurie J. Hendren

claim paper

Read More »

17

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

14 years 4 months ago

Verifying Specifications with Proof Scores in CafeOBJ

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

24

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

AVal: an Extensible Attribute-Oriented Programming Validator for Java

14 years 4 months ago

AVal: an Extensible Attribute-Oriented Programming Validator for Java

Download www.dcs.kcl.ac.uk

Carlos Noguera, Renaud Pawlak

claim paper

Read More »

31

SCAM
2006
IEEE

97views Software Engineering» more SCAM 2006»

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

14 years 4 months ago

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

Download www.dcs.kcl.ac.uk

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

claim paper

Read More »

24

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

14 years 4 months ago

Download www.dcs.kcl.ac.uk

Adrian D. Thurston, James R. Cordy

claim paper

Read More »

« Prev « First page 105 / 3165 Last » Next »