1121 search results - page 174 / 225 » Building Formal Requirements Models for Reliable Software |
163
Voted
TC
2002
15 years 3 months ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
116
click to vote
P2P
2003
IEEE
15 years 9 months ago
2003
IEEE
— Corporate IT as well as individuals show increasing interest in reliable outsourcing of storage infrastructure. Decentralized solutions with their resilience against partial ou...
124
click to vote
EJIS
2007
15 years 4 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
121
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
128
click to vote
RE
2009
Springer
15 years 8 months ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...