1926 search results - page 240 / 386 » Modeling and Model Checking Software Product Lines |
133
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
134
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
132
click to vote
ENGL
2008
15 years 4 months ago
2008
Strong competition on the global automotive market is forcing car manufacturers rethink their strategic approach to manufacturing. In order to be competitive, companies need to man...
168
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
156
click to vote
TASLP
2011
14 years 11 months ago
2011
—This paper presents a novel student model intended to automate word-list-based reading assessments in a classroom setting, specifically for a student population that includes b...