Sciweavers

15727 search results - page 102 / 3146

» Software Engineering - Introduction

88

QSIC
2005
IEEE

120views Software Engineering» more QSIC 2005»

Peer Reviews in Real Life - Motivators and Demotivators

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

88

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

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

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

108

SCAM
2005
IEEE

120views Software Engineering» more SCAM 2005»

Dynamic Slicing of Java Bytecode Programs

15 years 8 months ago

Dynamic Slicing of Java Bytecode Programs

Download www.dcs.kcl.ac.uk

Attila Szegedi, Tibor Gyimóthy

claim paper

Read More »

86

SEFM
2005
IEEE

106views Software Engineering» more SEFM 2005»

Customised Induction Rules for Proving Correctness of Imperative Programs

15 years 8 months ago

Customised Induction Rules for Proving Correctness of Imperative Programs

Download i12www.ira.uka.de

Ola Olsson, Angela Wallenburg

claim paper

Read More »

76

SEFM
2005
IEEE

124views Software Engineering» more SEFM 2005»

Control Code Obfuscation by Abstract Interpretation

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