Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos 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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
