Sciweavers

15951 search results - page 113 / 3191

» Lawful software engineering

150

Voted

IWPC
2006
IEEE

89views Software Engineering» more IWPC 2006»

Programmer-friendly Decompiled Java

15 years 11 months ago

Programmer-friendly Decompiled Java

Download www.sable.mcgill.ca

Nomair A. Naeem, Laurie J. Hendren

claim paper

Read More »

107

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

15 years 11 months ago

Verifying Specifications with Proof Scores in CafeOBJ

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

121

Voted

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

AVal: an Extensible Attribute-Oriented Programming Validator for Java

15 years 11 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 »

113

SCAM
2006
IEEE

97views Software Engineering» more SCAM 2006»

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

15 years 11 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 »

124

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

15 years 11 months ago

Download www.dcs.kcl.ac.uk

Adrian D. Thurston, James R. Cordy

claim paper

Read More »

« Prev « First page 113 / 3191 Last » Next »