1926 search results - page 117 / 386 » Modeling and Model Checking Software Product Lines |
149
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
The general-purpose precise interrupt mechanism, which has long been used to handle exceptional conditions that occur infrequently, is now being used increasingly often to handle ...
211
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
178
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
165
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
150
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...