Sciweavers

15824 search results - page 76 / 3165

» Specialising in Software Engineering

19

SCAM
2009
IEEE

176views Software Engineering» more SCAM 2009»

Backporting Java 5 Code

14 years 4 months ago

Backporting Java 5 Code

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Tamara Steijger

claim paper

Read More »

23

SEFM
2009
IEEE

109views Software Engineering» more SEFM 2009»

Property-Driven Scenario Integration

14 years 4 months ago

Property-Driven Scenario Integration

Download www4.in.tum.de

Jewgenij Botaschanjan, Alexander Harhurin

claim paper

Read More »

26

TASE
2009
IEEE

98views Software Engineering» more TASE 2009»

Refinement Algebra with Explicit Probabilism

14 years 4 months ago

Refinement Algebra with Explicit Probabilism

Download www.iist.unu.edu

T. M. Rabehaja, Jeff W. Sanders

claim paper

Read More »

29

TASE
2009
IEEE

101views Software Engineering» more TASE 2009»

Program Repair as Sound Optimization of Broken Programs

14 years 4 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 »

19

KBSE
2009
IEEE

110views Software Engineering» more KBSE 2009»

Automatic Generation of Object Usage Specifications from Large Method Traces

14 years 4 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 »