APSEC
2008
IEEE
13 years 4 months ago
2008
IEEE
APSEC
2008
IEEE
13 years 4 months ago
2008
IEEE
APSEC
2008
IEEE
13 years 6 months ago
2008
IEEE
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...
APSEC
2008
IEEE
13 years 6 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
APSEC
2008
IEEE
13 years 6 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper presents an idea to apply Jackson’s JSP method, which is suitable for the transformation problem frame, into the state transition design, presented in the behavior pr...
APSEC
2008
IEEE
13 years 10 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...