449 search results - page 45 / 90 » Model Checking Large Software Specifications |
IFIP
2000
Springer
15 years 3 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
113
click to vote
AINA
2008
IEEE
15 years 1 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
112
click to vote
ENTCS
2010
14 years 12 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
BIRTHDAY
2009
Springer
15 years 3 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
114
click to vote
CADE
2004
Springer
16 years 3 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...