8627 search results - page 430 / 1726 » Software Engineering Using RATionale |
193
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Architectural patterns are a key point in architectural documentation. Regrettably, there is poor support for modeling architectural patterns, because the pattern elements are not...
156
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
207
Voted
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
172
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
For large software systems, interface structure has an important impact on their maintainability and build performance. For example, for complex systems written in C, recompilatio...
201
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...