524 search results - page 37 / 105 » Debugging Models in the Context of Automotive Software Devel... |
116
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
111
click to vote
ICCSA
2010
Springer
14 years 10 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
131
Voted
CSMR
2005
IEEE
15 years 6 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
211
click to vote
POPL
2003
ACM
16 years 26 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...