Concept

Functional specification

Related courses (20)

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.

MICRO-617: Energy Autonomous Wireless Smart Systems

The course provides in depth knowledge on how to design an energy autonomous microsystem embedding sensors with wireless transmission of information. It covers the energy generation, power management,

ME-454: Modelling and optimization of energy systems

The goal of the lecture is to present and apply techniques for the modelling and the thermo-economic optimisation of industrial process and energy systems. The lecture covers the problem statement, th

AR-301(b): Studio BA5 (Graf F.)

Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain.

AR-401(b): Studio MA1 (Graf)

Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain.

AR-402(b): Studio MA2 (Graf)

Le projet de sauvegarde et le projet dans l'existant font partie d'une discipline culturelle constituée qui élargit le projet d'architecture contemporain.

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u

MICRO-406: Products design & systems engineering

This course will cover all the aspects of product design and system engineering from learning relevant methods to the actual implementation in a hands-on practice of product development.

CS-491: Introduction to IT consulting

This course is an introduction to the alignment of enterprise needs with the possibilities offered by Information Technology (IT). Using a simulated business case, we explore how to define the require

ENG-421: Fundamentals in systems engineering

Introduction to systems engineering using the classical V-model. Topics include stakeholder analysis, requirements definition, concept selection, design definition and optimization, system integration

ME-418: Integrated mechanical design

Les objectifs du cours incluent l'approfondissement d'une approche scientifique de la conception, la pratique d'une démarche multi-thématique, la pratique de l'intégration de systèmes et l'acquisition