2700 search results - page 394 / 540 » The role of abstraction in software engineering |
166
click to vote
AUIC
2006
IEEE
16 years 14 days ago
2006
IEEE
The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awar...
134
click to vote
CSMR
2006
IEEE
16 years 14 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
156
click to vote
SEFM
2006
IEEE
16 years 12 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
168
click to vote
SEFM
2006
IEEE
16 years 12 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
149
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...