Rigorous System Design

Publications associées (26)

À propos
Confidentialité
Mentions légales

Graph Chatbot

A Proposition for a Design Method of Service Systems

Blagovesta Hristova Kostova

This research is in the domain of service science and proposes a method for designing service systems. We consider three levels of design – individual, organizational, and implementation. The proposed design method links these three levels by explicit inpu ...

2017

Smart Living Building Research Program - Executive Summary

Marilyne Andersen, Didier Albert Simon Vuarnoz, Vanda Carla Costa Grisel, Emmanuel Rey, Thomas Bernard Paul Jusselme, Endrit Hoxha, Arianna Brambilla, Stefano Cozza, Cédric Liardet, Amélie Zizou Gisèle Renée Poncety

The smart living lab project is a pioneering, inter-disciplinary and inter-institutional platform that combines several fields of research related to construction technologies. It aims to be a center of national scope, recognized on an international level ...

2017

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

数字化图解静力学设计方法 — 建筑师和结构工程师共享的设计工具 (Digital Graphic Statics – Shared Design Tools for Architects and Engineers)

Corentin Jean Dominique Fivet

Aware of its heavy environmental impact, the construction industry is on the lookout for new tools that provide a closer control of the end performance of buildings, e.g. the energy and volume of materials that they demand and their ability to be repaired ...

2017

Path to AWAKE: Evolution of the concept

Yiming Li, Hua Zhang, Gennady Plyushchev, Shuai Liu, Frank Zimmermann

This paper describes the conceptual steps in reaching the design of the AWAKE experiment currently under construction at CERN. We start with an introduction to plasma wakefield acceleration and the motivation for using proton drivers. We then describe the ...

Elsevier Science Bv2016

Designing modeling notations readers understand

George Popescu

[Context] IT modelers create models to communicate their conceptualization of an organization and to facilitate the collaboration between business and IT people. The story they convey in their models is how the corporate IT systems fulfill the business peo ...

EPFL2016

Page 3 sur 3