163 search results - page 2 / 33 » Formal Methods for Integration of Automotive Software |
OMER
2001
13 years 6 months ago
2001
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
ZUM
1994
Springer
13 years 8 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
ISSE
2010
13 years 3 months ago
2010
ICSEA
2009
IEEE
13 years 2 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...