Sciweavers

4007 search results - page 12 / 802
» Automotive Software Integration
Sort
View
DATE
2008
IEEE
123views Hardware» more  DATE 2008»
15 years 8 months ago
Verification of Temporal Properties in Automotive Embedded Software
Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...
SOSE
2006
IEEE
15 years 7 months ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...
GI
2009
Springer
15 years 5 months ago
Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering
Abstract: Funktionsnetze geh¨oren w¨ahrend des Systementwurfs im modellgetriebenen Top-Down-Entwicklungsprozess von Fahrzeugsoftware zu den ersten Artefakten; sie werden aus den ...
Cem Mengi, Antonio Navarro Perez, Christian Fu&szl...