Sciweavers

15727 search results - page 102 / 3146

» Software Engineering - Introduction

103

Voted

QSIC
2005
IEEE

120views Software Engineering» more QSIC 2005»

Peer Reviews in Real Life - Motivators and Demotivators

15 years 10 months ago

Peer Reviews in Real Life - Motivators and Demotivators

Download www.tol.oulu.fi

Lasse Harjumaa, Ilkka Tervonen, Anna Huttunen

claim paper

Read More »

101

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

15 years 10 months ago

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

Download www.complang.tuwien.ac.at

Markus Schordan, Daniel J. Quinlan

claim paper

Read More »

129

SCAM
2005
IEEE

120views Software Engineering» more SCAM 2005»

Dynamic Slicing of Java Bytecode Programs

15 years 10 months ago

Dynamic Slicing of Java Bytecode Programs

Download www.dcs.kcl.ac.uk

Attila Szegedi, Tibor Gyimóthy

claim paper

Read More »

105

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Customised Induction Rules for Proving Correctness of Imperative Programs

15 years 10 months ago

Customised Induction Rules for Proving Correctness of Imperative Programs

Download i12www.ira.uka.de

Ola Olsson, Angela Wallenburg

claim paper

Read More »

100

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

15 years 10 months ago

Control Code Obfuscation by Abstract Interpretation

Download profs.sci.univr.it

Mila Dalla Preda, Roberto Giacobazzi

claim paper

Read More »

« Prev « First page 102 / 3146 Last » Next »