1031 search results - page 73 / 207 » On the Formal Development of Safety-Critical Software |
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
CMOT
2011
12 years 11 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
SEAFOOD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...
SEKE
1995
Springer
13 years 11 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...