Sciweavers

APSEC
2008
IEEE
13 years 11 months ago
Aspect-Oriented Programming for Web Controller Layer
Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, A...
APSEC
2008
IEEE
14 years 1 months ago
Risks and Risk Management in Software Architecture Evolution: An Industrial Survey
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...
Odd Petter N. Slyngstad, Reidar Conradi, Muhammad ...
APSEC
2008
IEEE
14 years 1 months ago
Emergent Properties in Reactive Systems
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
APSEC
2008
IEEE
14 years 1 months ago
A Verification Framework for FBD Based Software in Nuclear Power Plants
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...
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
APSEC
2008
IEEE
14 years 5 months ago
Domain Specific Engineering Environments
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...
Jacky Estublier, Germán Vega, Philippe Lala...
APSEC
2008
IEEE
14 years 5 months ago
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies
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...
Klaus Marius Hansen, Weishan Zhang, João Fe...
APSEC
2008
IEEE
14 years 5 months ago
Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs
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...
Yogesh Murarka, Umesh Bellur
APSEC
2008
IEEE
14 years 5 months ago
Jackson's JSP-Like Method for State Transition Design
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...
Osamu Shigo
APSEC
2008
IEEE
14 years 5 months ago
Towards Unanticipated Runtime Adaptation of Java Applications
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...
Mario Pukall, Christian Kästner, Gunter Saake