15784 search results - page 869 / 3157 » Mega Software Engineering |
173
click to vote
KBSE
2008
IEEE
16 years 2 months 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...
183
click to vote
KBSE
2008
IEEE
16 years 2 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
185
click to vote
IWPC
2007
IEEE
16 years 1 months 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
CSEE
2007
Springer
16 years 1 months ago
2007
Springer
This paper reports experiences from an experiment in a software architecture course where the focus was both on giving students valuable education as well as getting important emp...
215
click to vote
ECSA
2007
Springer
16 years 1 months ago
2007
Springer
The past 20 years has seen significant investments in the theory and practice of software architecture. However, architectural deficiencies are frequently cited as a key factor in ...