1031 search results - page 19 / 207 » On the Formal Development of Safety-Critical Software |
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
ZUM
1994
Springer
13 years 11 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...
JOT
2008
13 years 7 months ago
2008
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
DATE
2003
IEEE
14 years 24 days ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...