Concept

Application lifecycle management

Related publications (34)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

QoS control for optimality and safety

Joseph Sifakis

We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameters of its actions. The objective of the control policy is to meet QoS requireme ...

2005

OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem

Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. In practice, software developers use most often natural language to des ...

2005

TRUSS: A Reliable, Scalable Server Architecture

Babak Falsafi

Traditional reliable servers require costly design changes to the processor, use custom system or application software, or cannot scale beyond a few processing elements. We present TRUSS, a family of server architectures providing reliable, scalable comput ...

2005

On the contribution of local current density to neoclassical tearing mode stabilization

Olivier Sauter

Neoclassical tearing modes are driven by the reduction of bootstrap current inside the island due to the flattening of the pressure profile. This current perturbation enhances the magnetic perturbation responsible for the island formation. Therefore it is ...

2004

Generic Concern-Oriented Model Transformations Meet AOP

Abstract. Separation of concerns allows developers to manage large distributed systems by tackling one problem at a time. Model transformations refine models along one concern-dimension. Aspects encapsulate implementation details that cut across the bounda ...

2003

Generic Concern-Oriented Model Transformations Meet AOP

Separation of concerns allows developers to manage large distributed systems by tackling one problem at a time. Model transformations refine models along one concern-dimension. Aspects encapsulate implementation details that cut across the boundaries of se ...

2003

Building models of real-time systems from application software

Joseph Sifakis

We present a methodology for building timed models of real-time systems by adding time constraints to their application software. The applied constraints take into account execution times of atomic statements, the behavior of the system's external environm ...

2003

Specifying reactive system behavior

Shane Sendall

Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is used to make an unsatisfactory real world situation into ...

EPFL2002

An Automated, Language-Based Approach to the Creation of Component Libraries

Alain Wegmann, Otto Preiss

A major promise of component-based software engineering is the reduction of application development time and costs by reusing software components. The existence of and access to component libraries, as well as the ability to build such libraries in the fir ...

2001

Rapid Prototyping of Formally Modelled Distributed Systems

This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is ill ...

IEEE1999