Sciweavers

15777 search results - page 92 / 3156

» Software Engineering

48

KBSE
2006
IEEE

95views Software Engineering» more KBSE 2006»

Verifying Specifications with Proof Scores in CafeOBJ

15 years 3 months ago

Verifying Specifications with Proof Scores in CafeOBJ

Download www.jaist.ac.jp

Kokichi Futatsugi

claim paper

Read More »

71

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

AVal: an Extensible Attribute-Oriented Programming Validator for Java

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

58

SCAM
2006
IEEE

97views Software Engineering» more SCAM 2006»

Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms

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

67

SCAM
2006
IEEE

99views Software Engineering» more SCAM 2006»

15 years 3 months ago

Download www.dcs.kcl.ac.uk

Adrian D. Thurston, James R. Cordy

claim paper

Read More »

63

SCAM
2006
IEEE

133views Software Engineering» more SCAM 2006»

Abstract Interpretation of PIC Programs through Logic Programming

15 years 3 months ago

Abstract Interpretation of PIC Programs through Logic Programming

Download www.dcs.kcl.ac.uk

Kim S. Henriksen, John P. Gallagher

claim paper

Read More »

« Prev « First page 92 / 3156 Last » Next »