1121 search results - page 146 / 225 » Building Formal Requirements Models for Reliable Software |
173
Voted
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
139
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
138
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
129
click to vote
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
134
click to vote
PDP
2007
IEEE
15 years 10 months ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...