4350 search results - page 582 / 870 » Case studies for contract-based systems |
180
click to vote
SIAMCO
2002
15 years 6 months ago
2002
The paper studies the problem of reachability for linear systems in the presence of uncertain input disturbances that may also be interpreted as the action of an adversary in a ga...
154
click to vote
SJIS
2002
15 years 6 months ago
2002
This paper calls for a re-specification of IT systems design and development practice as corealisation. Co-realisation is an orientation to technology production that develops out...
197
click to vote
MAGS
2007
15 years 6 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
156
click to vote
MR
2007
15 years 6 months ago
2007
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
148
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...