1121 search results - page 37 / 225 » Building Formal Requirements Models for Reliable Software |
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
187
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
212
click to vote
AMCS
2011
14 years 6 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
FAABS
2000
Springer
15 years 3 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
103
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...