4007 search results - page 178 / 802 » Automotive Software Integration |
161
Voted
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
116
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
133
click to vote
FORTE
2004
15 years 5 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
148
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
125
Voted
JIPS
2006
15 years 3 months ago
2006
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...