1141 search results - page 109 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
232
click to vote
JLP
2008
15 years 6 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
160
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
155
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
188
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...