8627 search results - page 258 / 1726 » Software Engineering Using RATionale |
145
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
151
click to vote
IWPC
2007
IEEE
16 years 23 days ago
2007
IEEE
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...
183
click to vote
SEW
2006
IEEE
16 years 15 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
161
click to vote
ISPW
2005
IEEE
16 years 2 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
162
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...