08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...
Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems (2008)
Di Marzo Serugendo, Giovanna, Fitzgerald, John, Romanovsky, Alexander, Guelfi, Nicolas
This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy self-adaptive and...
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known...
Enhancing Java Grid Computing Security with Resource Control (2004)
Hulaas, Jarle, Binder, Walter, Di Marzo Serugendo, Giovanna
This paper outlines an original Computational Grid deployment protocol which is entirely based on Java, leveraging the portability of this language for distributing customized computations throughout...
Real-Time Synchronized Petri Nets (2002)
Di Marzo Serugendo, Giovanna, Mandrioli, Dino, Buchs, Didier, Guelfi, Nicolas, Esparza, J., Lakos, Ch.
Adding Real Time Constraints to Synchronised Petri Nets (2000)
Di Marzo Serugendo, Giovanna, Mandrioli, Dino, Buchs, Didier, Guelfi, Nicolas
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known...
Formal Development and Validation of Java Dependable Distributed Systems (1999)
Di Marzo Serugendo, Giovanna, Guelfi, Nicolas, Romanovsky, Alexander, Zorzo, Avelino Francisco
The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable...
A Formal Developement and Validation Methodology for System Design (1999)
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two...
One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known...
Thè€se no 1931 sciences EPF Lausanne.
Formal Development of Java Based Web Parallel Applications (1998)
Di Marzo Serugendo, Giovanna, Guelfi, Nicolas
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a...
Di Marzo Serugendo, Giovanna, Guelfi, Nicolas
The problem addressed in this paper is the following: How to use high-level Petri nets for the reverse engineering of implemented distributed applications ?. We present a reverse engineering...
COALA - A Formal Language for Coordinated Atomic Actions (1998)
Vachon, Julie, Buchs, Didier, Buffo, Mathieu, Di Marzo Serugendo, Giovanna, Randell, Brian, Romanovsky, Sascha, ...
A Coordianted Atomic Action (CA Action) is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in distributed...
Di Marzo Serugendo, Giovanna, Guelfi, Nicolas, Romanovsky, Alexander, Zorzo, Avelino Francisco
The objectives of this research are twofold. On the first hand, it aims to show the interest of Coordinated Atomic actions (CA actions) as a design concept and, on the other hand it explains how the...
Formal Development of Java Programs (1997)
Di Marzo Serugendo, Giovanna, Guelfi, Nicolas
The Java object-oriented programming language has been the subject of an important involvement from programmers and industry. Especially for applications related to the Web. The problem of such rapid...