10241 search results - page 1586 / 2049 » Goal-Driven Software Development |
106
click to vote
INTERACT
2003
15 years 6 months ago
2003
: Digital computation is a powerful source of functional support. However, it has been confined to the augmentation of single objects only. In this article, we are interested in th...
151
click to vote
ISICT
2003
15 years 6 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
137
click to vote
WICSA
2004
15 years 6 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
141
click to vote
WSC
2004
15 years 6 months ago
2004
Adaptive Monte Carlo methods are specialized Monte Carlo simulation techniques where the methods are adaptively tuned as the simulation progresses. The primary focus of such techn...
174
click to vote
SCS
2003
15 years 6 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...