1200 search results - page 67 / 240 » The Problem Frames Approach to Software Engineering |
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
Defect localisation is essential in software engineering and is an important task in domain-specific data mining. Existing techniques building on call-graph mining can localise dif...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
IADIS
2004
13 years 10 months ago
2004
There is no standard model for judging the maturity of the software processes followed in software project outsourcing. The aim of this work is to describe a possible approach for...
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...