1031 search results - page 23 / 207 » On the Formal Development of Safety-Critical Software |
108
click to vote
FASE
2000
Springer
15 years 4 months ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
133
Voted
EWSPT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
107
Voted
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
111
click to vote
TCS
2002
15 years 6 days ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
110
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...