Sciweavers

15885 search results - page 748 / 3177

» Strategic Software Engineering

147

AOSD
2009
ACM

94views Software Engineering» more AOSD 2009»

Domain-driven discovery of stable abstractions for pointcut interfaces

16 years 5 days ago

Domain-driven discovery of stable abstractions for pointcut interfaces

Download lirias.kuleuven.be

Dimitri Van Landuyt, Steven Op de beeck, Eddy Truy...

claim paper

Read More »

180

FSTTCS
2009
Springer

118views Software Engineering» more FSTTCS 2009»

Continuous-Time Stochastic Games with Time-Bounded Reachability

16 years 3 days ago

Continuous-Time Stochastic Games with Time-Bounded Reachability

Download www.fi.muni.cz

Tomás Brázdil, Vojtech Forejt, Jan K...

claim paper

Read More »

163

RE
2009
Springer

103views Software Engineering» more RE 2009»

Are Your Lights Off? Using Problem Frames to Diagnose System Failures

16 years 20 hour ago

Are Your Lights Off? Using Problem Frames to Diagnose System Failures

Download mcs.open.ac.uk

Thein Than Tun, Michael Jackson, Robin C. Laney, B...

claim paper

Read More »

147

REFSQ
2009
Springer

78views Software Engineering» more REFSQ 2009»

Early Identification of Problem Interactions: A Tool-Supported Approach

16 years 20 hour ago

Early Identification of Problem Interactions: A Tool-Supported Approach

Download mcs.open.ac.uk

Thein Than Tun, Yijun Yu, Robin C. Laney, Bashar N...

claim paper

Read More »

156

ICSE
2000
IEEE-ACM

121views Software Engineering» more ICSE 2000»

Formal specification: a roadmap

15 years 11 months ago

Formal specification: a roadmap

Download www.info.ucl.ac.be

Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...

Axel van Lamsweerde

claim paper

Read More »

« Prev « First page 748 / 3177 Last » Next »