Sciweavers

15824 search results - page 76 / 3165

» Specialising in Software Engineering

92

Voted

SCAM
2009
IEEE

176views Software Engineering» more SCAM 2009»

Backporting Java 5 Code

15 years 10 months ago

Backporting Java 5 Code

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Tamara Steijger

claim paper

Read More »

103

Voted

SEFM
2009
IEEE

109views Software Engineering» more SEFM 2009»

Property-Driven Scenario Integration

15 years 10 months ago

Property-Driven Scenario Integration

Download www4.in.tum.de

Jewgenij Botaschanjan, Alexander Harhurin

claim paper

Read More »

103

Voted

TASE
2009
IEEE

98views Software Engineering» more TASE 2009»

Refinement Algebra with Explicit Probabilism

15 years 10 months ago

Refinement Algebra with Explicit Probabilism

Download www.iist.unu.edu

T. M. Rabehaja, Jeff W. Sanders

claim paper

Read More »

106

Voted

TASE
2009
IEEE

101views Software Engineering» more TASE 2009»

Program Repair as Sound Optimization of Broken Programs

15 years 10 months ago

Program Repair as Sound Optimization of Broken Programs

Download www.cs.ioc.ee

Bernd Fischer, Ando Saabas, Tarmo Uustalu

claim paper

Read More »

81

Voted

KBSE
2009
IEEE

110views Software Engineering» more KBSE 2009»

Automatic Generation of Object Usage Specifications from Large Method Traces

15 years 10 months ago

Automatic Generation of Object Usage Specifications from Large Method Traces

Download www.lst.inf.ethz.ch

Michael Pradel, Thomas R. Gross

claim paper

Read More »

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