Abstract. The severe resource restrictions of computer-augmented everyday artifacts imply substantial problems for the design of applications in smart environments. Some of these p...
Frank Siegemund, Christian Floerkemeier, Harald Vo...
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
The fundamental goal of all good design and engineering is to create maximal value added for any given investment. There are many dimensions in which value can be assessed, from m...
The purpose of this paper is to increase understanding about the use of embedded open source software in commercial telecommunication products. This paper applies concepts of valu...
Software is viewed as an artefact which interacts with cultures of societies in which it functions. On the one hand, software manufacturers make efforts to adapt the appearance of ...
Gregory E. Kersten, Stan Matwin, Sunil J. Noronha,...