4007 search results - page 98 / 802 » Automotive Software Integration |
198
click to vote
AMAST
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
128
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
125
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
131
click to vote
RE
2009
Springer
15 years 8 months ago
2009
Springer
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...
140
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Dynamic and partial reconfiguration discovers more and more the focus in academic and industrial research. Modern systems in e.g. avionic and automotive applications exploit the p...