Sciweavers

15974 search results - page 152 / 3195

» Object-Oriented Software Engineering

99

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 »

99

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 »

100

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 »

78

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 »

96

ICSM
2009
IEEE

132views Software Engineering» more ICSM 2009»

Changes and bugs - Mining and predicting development activities

15 years 10 months ago

Changes and bugs - Mining and predicting development activities

Download thomas-zimmermann.com

Thomas Zimmermann

claim paper

Read More »

« Prev « First page 152 / 3195 Last » Next »