1023 search results - page 118 / 205 » Model Checking: Software and Beyond |
137
click to vote
SPLC
2008
15 years 5 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
157
click to vote
WETICE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
122
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
129
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
122
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...