1031 search results - page 97 / 207 » On the Formal Development of Safety-Critical Software |
154
Voted
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
172
click to vote
COMPUTER
2006
15 years 5 months ago
2006
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
151
click to vote
CHIMIT
2009
ACM
16 years 1 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
155
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
184
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...