4007 search results - page 96 / 802 » Automotive Software Integration |
149
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
123
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
118
click to vote
SE
2007
15 years 4 months ago
2007
: Despite the fact, that testing and integration belong to the most critical and time consuming activities especially in big software development projects, most projects are still ...
165
Voted
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
154
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...