Sciweavers

4007 search results - page 12 / 802
» Automotive Software Integration
Sort
View
97
Voted
DATE
2009
IEEE
138views Hardware» more  DATE 2009»
15 years 10 months ago
Semiformal verification of temporal properties in automotive hardware dependent software
Djones Lettnin, Pradeep Kumar Nalla, Jörg Beh...
DATE
2008
IEEE
123views Hardware» more  DATE 2008»
15 years 9 months ago
Verification of Temporal Properties in Automotive Embedded Software
Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...
SOSE
2006
IEEE
15 years 9 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 6 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...