10239 search results - page 1789 / 2048 » Postmodern Software Development |
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
113
Voted
ER
2003
Springer
15 years 7 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
134
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
127
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
138
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...