1136 search results - page 179 / 228 » A Multi-variant Approach to Software Process Modelling |
146
Voted
ICICS
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
137
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
110
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...
103
Voted
WSC
2001
15 years 3 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
127
Voted
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...