1031 search results - page 20 / 207 » On the Formal Development of Safety-Critical Software |
KBSE
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
QSIC
2003
IEEE
14 years 23 days ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
FORTE
1996
13 years 8 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
ISESE
2003
IEEE
14 years 23 days ago
2003
IEEE
In this paper we report results of an informal field study of a software development team conducted during an eight week internship at the NASA/Ames Research Center. The team deve...