Alignment Verification in the Early Stage of Service Design

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.

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Structural systems are a significant contributor to buildings’ embodied carbon and reusing structural elements in new load-bearing applications is one strategy to reduce this impact. However, integrating this approach into existing design workflows without ...

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

Design exploration is a creative process that consists of the incremental generation of design candidates. Supported by digital means or not, the process handles the ill-structured nature of design and allows creativity to flourish through diversity of des ...

In the modern age of miniaturisation, Smart Materials, a type of material that reacts mechanically to a certain stimulus, have become an integral part of this revolution. Among these materials, Shape Memory Alloys (SMAs), which have the highest volumetric ...

The ability to consider a wide range of solutions to a design problem is a crucial skill for designers, and is a major differentiator between experts and novices. One reason for this is that novices are unaware of the full extent of the design space in whi ...

Maxwell's equations govern light propagation and its interaction with matter. Therefore, the solution of Maxwell's equations using computational electromagnetic simulations plays a critical role in understanding light-matter interaction and designing optic ...

Cyber-physical systems (CPSs) integrate heterogeneous systems and process sensor data using digital services. As the complexity of CPS increases, it becomes more challenging to efficiently formalize the integrated multidomain views with flexible automated ...

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

The paper presents a qualitative study to explore the use of fitness trackers and their social functions in intergenerational settings. The study covered three phases of semi-structured interviews with older and younger adults during individual and interge ...

Diffractive optical elements (DOEs) which consist of microstructure surface relief permit the generation of the spatial distribution of light beams by using a single element. Due to their compact size, design flexibility, and mass productivity, they are us ...

Diversity-aware platform design is a paradigm that responds to the ethical challenges of existing social media platforms. Available platforms have been criticized for minimizing users' autonomy, marginalizing minorities, and exploiting users' data for prof ...

Designing and implementing online or digital learning material is a demanding task for teachers. This is even more the case when this material is used for more engaged forms of learning, such as inquiry learning. In this article, we give an informed accoun ...

Simulations can be used to accelerate the characterization and discovery of materials. Here we Review how electronic-structure methods such as density functional theory work, what properties they can be used to predict and how they can be used to design ma ...

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a ne ...

This paper reports on experimental testing that was carried out on a prototype adaptive structure designed to counteract the effect of loading through controlled large shape changes. The prototype is 6.6 m truss equipped with 12 linear actuators which has ...

The design of a specific antenna for a cranial implant is used to illustrate design and simulation issues linked to implantable antennas. After a brief introduction, we will review the requirements for the antenna, and go through the design process, discus ...

The Paris agreement on climate change called for carbon neutrality as of 2050. The built environment is one of the major contributors to the greenhouse effect, representing 39% of global emissions. As a result, this sector is targeted by green standards an ...

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

We present X-shells, a new class of deployable structures formed by an ensemble of elastically deforming beams coupled through rotational joints. An X-shell can be assembled conveniently in a flat configuration from standard elastic beam elements and then ...

Alignment Verification in the Early Stage of Service Design

Chat with Graph Search

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Interactive design with optimum matchmaking of reused structural elements – a software implementation

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Policy-based Exploration of Equilibrium Representations (PEER): A topology grammar for generative conceptual structural design

Synthesis of Novel Integrated Actuators Powered by Shape Memory Alloys

Mixplorer: Scaffolding Design Space Exploration through Genetic Recombination of Multiple Peoples’ Designs to Support Novices’ Creativity

MaxwellNet: Physics-driven deep neural network training based on Maxwell's equations

Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Understanding intergenerational fitness tracking practices: 12 suggestions for design

ON THE DESIGN AND OPTIMIZATION OF WIDE ANGLE DIFFRACTIVE OPTICAL ELEMENTS

The Theory, Practice, and Ethical Challenges of Designing a Diversity-Aware Platform for Social Relations

Understanding teacher design practices for digital inquiry-based science learning: the case of Go-Lab

Electronic-structure methods for materials design

Direct Model-checking of SysML Models

Design and control of a prototype structure that adapts to loading through large shape changes

Antenna for a Cranial Implant: Simulation Issues and Design Strategies

Data-driven method for low-carbon building design at early stages

Scaling Functional Synthesis and Repair

X-Shells: A new class of deployable beam structures