803 search results - page 68 / 161 » Building Formal Models for Software Requirements |
120
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; ...
137
click to vote
FAC
2006
15 years 3 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
109
click to vote
SOFTVIS
2006
ACM
15 years 9 months ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
167
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
127
click to vote
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...