Sciweavers

15784 search results - page 744 / 3157

» Mega Software Engineering

180

FSTTCS
2009
Springer

118views Software Engineering» more FSTTCS 2009»

Continuous-Time Stochastic Games with Time-Bounded Reachability

16 years 2 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 15 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 15 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 »

221

CBSE
2008
Springer

116views Software Engineering» more CBSE 2008»

A Component Selection Framework for COTS Libraries

15 years 9 months ago

A Component Selection Framework for COTS Libraries

Download www-valoria.univ-ubs.fr

Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...

Bart George, Régis Fleurquin, Salah Sadou

claim paper

Read More »

« Prev « First page 744 / 3157 Last » Next »