1926 search results - page 93 / 386 » Modeling and Model Checking Software Product Lines |
160
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
178
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
142
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
141
Voted
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
173
Voted
ICSEA
2009
IEEE
15 years 3 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...