Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts
Graph Chatbot
Chattez avec Graph Search
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 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 ...
The paper reports results of a structured democratic dialogue Co-Laboratory that aimed to explore actions that could alleviate obstacles preventing the development of practical broadband applications for elderly people and people with disabilities. Thirty- ...
Springer Verlag2017
, ,
In this paper, we describe our use of ethnographic techniques for identifying requirements for a web-based system for automatic updates and data exchange in a financial investment company. During a six-month long internship, we observed stakeholders in the ...
CEUR Workshop Proceedings2017
, ,
Single-to-three-phase direct AC/AC Modular Multilevel Converters have gained a significant interest in the field of railway interties. The use of such an MMC-based structure implies more advanced control techniques as well as design requirements, especiall ...
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 ...
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
,
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
Social media platforms are increasingly used in recent years to support learning activities, especially for the construction of activity- and learner-centric personal learning environments (PLEs). This thesis investigates the solutions to four essential de ...
EPFL2015
,
Obey is a user-friendly tool that helps programmers enforce code health requirements in their projects. Requirements are expressed as rules, written with the TQL library combinators used to traverse scala.meta trees, that generate compiler warnings and can ...
2015
Students often have information needs while carrying out a multitude of learning activities at universities. When information is needed for investigating a problem, the student may interrupt the work and switch to an information seeking task. As Internet c ...
