754 search results - page 34 / 151 » Requirements for Automotive System Engineering Tools |
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
ICSE
2000
IEEE-ACM
14 years 7 days ago
2000
IEEE-ACM
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
MOMM
2006
ACM
14 years 2 months ago
2006
ACM
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
ICSE
2005
IEEE-ACM
14 years 2 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
DSS
2007
13 years 8 months ago
2007
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...