Concept

Software release life cycle

Related publications (39)

Monitoring Collaboration from a Value Perspective

Collaborations among businesses can be described from different viewpoints. Two of these viewpoints are the value viewpoint, representing estimated values exchanged in a collaboration, and the coordination viewpoint, representing messages exchanged between ...

IEEE2007

A Service Construct to Support Iterative Development

Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be available or may change performance characteristics, price, or quality of service criteria a ...

2007

The host software for the real-time PHA X-ray diagnostic on TCV

Basil Duval

A real-time pulse height analysis (PHA) X-ray diagnostic for the TCV tokamak has been developed using CFN multi-DSP-based VME acquisition, processing and control board. The hardware is composed by: (i) a detection system based on a Si SDD detector; (ii) a ...

2006

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. Formal contract specification languages, however, are still rarely used ...

2006

Supporting Loop Proofs in KeY by using BLAST

Mathias Krebs

In contrast to beta-testing, formal verification can guarantee correctness of a program against a specification. Two basic verification techniques are theorem proving and model checking. Both have strengths and weaknesses. Theorem proving is powerful, but ...

2006

Inducing tolerance to a soluble foreign antigen by encapsulated cell transplants

Patrick Aebischer, Bernard Schneider

The immune response to soluble antigens constitutes a current clinical problem impeding the development of protein therapeutics. We have developed an encapsulated-cell delivery system, which, transiently combined with an anti-CD154 antibody treatment, allo ...

2006

A three-component synthesis of (1,3-oxazol-2-yl)-1,2-dihydro(iso)quinoline and its further structural diversifications

Jieping Zhu

A Reissert-type three-component synthesis of 1,3-oxazol-2-yl-1,2-dihydro(iso)quinolines, e.g., I, was developed using alpha -isocyano-beta -Ph-propionamide as an isonitrile input. The structure of this multicomponent adduct was further diversified taking a ...

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

Software and the Concurrency Revolution

James Richard Larus

Leveraging the full power of multicore processors demands new tools and new thinking from the software industry. Concurrency has long been touted as the "next big thing" and "the way of the future," but for the past 30 years, mainstream software developme ...

ACM2005

The end of life treatment of second generation mobile phone networks: Strategies to reduce the environmental impact

A life cycle assessment was carried out based on a detailed life cycle inventory for a typical GSM 900 mobile phone network and related End of Life (EOL) treatment infrastructure. The environmental relevance of the three life cycle phases: production, use ...

Elsevier2005

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.