1926 search results - page 110 / 386 » Modeling and Model Checking Software Product Lines |
134
click to vote
VAMOS
2007
Springer
16 years 10 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
210
click to vote
ICFEM
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
173
click to vote
JSS
2008
15 years 5 months ago
2008
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
156
click to vote
ISPW
2009
IEEE
16 years 27 days ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...
175
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...