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...
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
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...
Per Backlund, Christina Hallenborg, Guomundur Hall...
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 ...