3801 search results - page 535 / 761 » An Approach to Modeling Software Safety |
144
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
155
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
176
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
186
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
184
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...