Search Sciweavers | Sciweavers

5668 search results - page 83 / 1134

» The case for software evolution

157

click to vote

KBSE
2008
IEEE

85views Software Engineering» more KBSE 2008»

Exploring the composition of unit test suites

16 years 19 days ago

Download win.ua.ac.be

In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of veriﬁcation and documentation, the ...

Bart Van Rompaey, Serge Demeyer

claim paper

Read More »

146

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 24 days ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

126

click to vote

CSMR
2008
IEEE

90views Software Engineering» more CSMR 2008»

Use Case Redocumentation from GUI Event Traces

16 years 22 days ago

Download sel.ics.es.osaka-u.ac.jp

Michael Smit, Eleni Stroulia, Kenny Wong

claim paper

Read More »

133

click to vote

GTTSE
2007
Springer

140views Software Engineering» more GTTSE 2007»

WebDSL: A Case Study in Domain-Specific Language Engineering

16 years 12 days ago

Download swerl.tudelft.nl

Eelco Visser

claim paper

Read More »

150

click to vote

APSEC
2005
IEEE

128views Software Engineering» more APSEC 2005»

Enhancement of a Use Cases based Requirements Engineering approach with Scenarios

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers