Sciweavers

4007 search results - page 26 / 802
» Automotive Software Integration
Sort
View
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
15 years 8 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
DAC
1997
ACM
15 years 5 months ago
Formal Verification of FIRE: A Case Study
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl P...
120
Voted
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
15 years 7 months ago
Integrating software engineering and user-centred design for multimedia software developments
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
Gregor Engels, Stefan Sauer, Bettina Neu
FTDCS
1999
IEEE
15 years 6 months ago
Integration of Object-Oriented Software Components for Distributed Application Software Development
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
Stephen S. Yau, Fariaz Karim
106
Voted
SE
2008
15 years 3 months ago
Integrating Software Lifecycle Models into a uniform Software Engineering Model
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
Jonas Helming