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.
In this report we present the specification of the operational semantics of Dart Kernel and a reference implementation of Dart Kernel in Dart. We design a CESK-like machine to specify the operational semantics of Dart Kernel and we implement an interpreter ...
Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...
[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 ...
In order to fulfill all design requirements for a project, some experimental tests as well as numerical investigations has been conducted. The main intention of the current report is to give an insight into the experimental tests which we expected to get t ...
In this paper we describe a long-term effort to raise the awareness of IT practitioners in the Swiss French region to the value of ethnographic observation techniques for requirements elicitation. This effort brought together academia and industry. Several ...
The vision brought forth by Michael Hammer in the late 1980s was to save struggling American companies by getting them to focus on the creation of value for clients by reorganizing their operations and structure around the use of IT systems. This was the B ...
The explicit goal of the inaugural World Open Innovation Conference (WOIC) was to attract both leading academic researchers in open innovation and leading industry practitioners of open innovation, seeking to get these two groups to engage with one another ...
Requirements elicitation is an important part of information systems development. It is often performed as a technical task, but from a close look it is mainly a social activity. The main work consists of interacting with stake-holders in order to understa ...
During the last twenty years we have witnessed the steady rise in academic research and practitioner interest and inquiry on the topic of business models. The topic is still in its infancy, and thus a lot of literature hitherto has focused on the basics: d ...
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 ...
