328 search results - page 30 / 66 » Software engineering for safety: a roadmap |
420
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
184
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The worksho...
168
click to vote
VMCAI
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
167
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...
147
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
ISO 9001 is a standard for quality management systems while CMMI is a model for process improvement. If an organization that has achieved ISO registration wishes to improve proces...