3555 search results - page 428 / 711 » Security-Critical System Development with Extended Use Cases |
164
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
161
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
175
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
182
click to vote
APSEC
2003
IEEE
16 years 4 days ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
174
click to vote
EMISA
2007
Springer
16 years 1 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...