7206 search results - page 1302 / 1442 » Using a Hypermedia System for Systems Engineering |
135
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
129
Voted
MSR
2006
ACM
15 years 9 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
114
click to vote
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
139
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
128
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...