317 search results - page 43 / 64 » Model-Based Design of ECU Software - A Component Based Appro... |
ICWE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
IWPC
2008
IEEE
14 years 5 months ago
2008
IEEE
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
GPCE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
FASE
2008
Springer
14 years 16 days ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...