Publication

Model refactoring using transformations

Related publications (99)

Linking interactive optimization for urban planning with a semantic 3D city model

François Maréchal, Nils Christian Schüler, Sébastien Cajot

The cities in which we live are constantly evolving. The active management of this evolution is referred to as urban planning. The according development process could go in many directions resulting in a large number of potential future scenarios of a city ...

Copernicus GmbH2018

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

EPFL2017

Bidirectional transformation between BIP and SysML for visualisation and editing

Leandro Kieliger, Clément Jean Maurice Nussbaumer

When it comes to designing software, the classic procedure consists of writing code that complies with the projects requirements first, and then to extensively test for bugs and defects. Although this approach is valid and can produce correct results, it i ...

2017

As hardware designs get more robust and efficient, software can solve a wider range of challenges, each one more advanced than the previous one. The direct consequence is that software complexity grows continuously. Despite being used more frequently in de ...

2017

, ,

Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a model-driven approach for automatic verification of service properties, done in the ...

2017

Applying model checking to industrial-sized PLC programs

Jean-Charles Tournier, Simon Bliudze, Borja Fernandez Adiego

Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the ...

Institute of Electrical and Electronics Engineers2015

Orchestration Graphs

Pierre Dillenbourg

By modeling pedagogical scenarios as directed geometrical graphs and proposing an associated modeling language, this book describes how rich learning activities, often designed for small classes, can be scaled up for use with thousands of participants. Wit ...

EPFL Press2015

Interactive Architectural Modeling from Point Clouds

Nicolas Maître

In this work, we present an intuitive and interactive tool to model high quality 3D architectural objects starting from a MVS point cloud. Our implementation is inspired by [1] that describes the modeling system as well as the 3D reconstruction algorithm w ...

2015

Using the Physics of Notations Theory to Evaluate the Visual Notation of SEAM

Alain Wegmann, George Popescu

Modeling languages are used to make models that are commonly used in communicating about real-life situations such as the modeling of business and IT requirements in organizations. A way to evaluate how effective the modeling languages are for communicatin ...

2014

Current Practice in Software Development for Computational Neuroscience and How to Improve It

Marc-Oliver Gewaltig

Almost all research work in computational neuroscience involves software. As researchers try to understand ever more complex systems, there is a continual need for software with new capabilities. Because of the wide range of questions being investigated, n ...

Public Library of Science2014

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.