338 search results - page 8 / 68 » Safety Methods in Software Process Improvement |
SAFECOMP
1998
Springer
14 years 28 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
ECIS
2003
13 years 10 months ago
2003
Knowledge transfer is one of the key problem areas in knowledge management. This paper focuses on the transfer of knowledge about the software development process. There is an aim...
CAISE
1995
Springer
14 years 8 days ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
ISSRE
2005
IEEE
14 years 2 months ago
2005
IEEE
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...