1031 search results - page 19 / 207 » On the Formal Development of Safety-Critical Software |
110
click to vote
EUROMICRO
2009
IEEE
15 years 7 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...
107
Voted
ISOLA
2010
Springer
14 years 10 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...
112
Voted
ZUM
1994
Springer
15 years 4 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...
108
Voted
JOT
2008
15 years 16 days 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...
108
Voted
DATE
2003
IEEE
15 years 5 months 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 ...