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.
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for several years now. In this paper, we present how these four paradigms can be p ...
This paper presents the genesis of the Expo.02 robot. RoboX the tour guide robot has been built from the scratch for this project based on the experience of the Autonomous Systems Lab. The production of 11 of those machines has been guaranteed by a spin-of ...
Models of hydraulic components based on impedance method have been implemented in a software called “SIMSEN”. This tool allows the simultaneous solution of the electrical, hydraulic, mechanic and control equations ensuring a proper interaction between the ...
We present the design of the programming language Keris, an extension of Java with explicit support for software evolution. Keris introduces extensible modules as the basic building blocks for software. Modules are composed hierarchically revealing explici ...
Guest Editorial Technological advances in biomedical imaging are providing unprecedented opportunities for improving our understanding of biological processes and revealing the anatomical and functional organization of biological systems, from macro- to na ...
Program verification tools (such as model checkers and static analyzers) can find many errors in programs. These tools need formal specifications of correct program behavior, but writing a correct specification is difficult, just as writing a correct progr ...
Even after decades of software engineering research, complex computer systems still fail, primarily due to nondeterministic bugs that are typically resolved by rebooting. Conceding that Heisenbugs will remain a fact of life, we propose a systematic investi ...
In this paper we present our motivations for proposing of a generic model for the description of quality attributes of software artifacts, in particular suited to software components. The conceptual ideas for our quality description model are derived from ...
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for several years now. In this paper, we present how these four paradigms can be p ...
For a software system to be perceived as a success, or even just as properly functioning, many quality attributes, besides functionality, need to be at an acceptable level. However, current software development processes focus on the functional aspects of ...
