Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Git Basics: Systèmes de contrôle des versions et développement de logiciels

Dans cours

CS-214: Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstr ...

Description

Cette séance de cours couvre les bases de git, les systèmes de contrôle de version, et le développement de logiciels. Il explique l'importance de l'ingénierie logicielle, l'utilisation de VCS, et les défis avec les sauvegardes. L'instructeur met l'accent sur la nature distribuée du contrôle de version, les avantages de l'utilisation d'un VCS, et fournit des exemples pratiques. Les étudiants sont encouragés à explorer l'histoire des systèmes de contrôle des versions et à partager des tutoriels. La séance de cours aborde également la logistique, le rôle des ingénieurs logiciels et les sujets à venir dans le cours.

Enseignant·e·s (2)

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Martin Odersky

Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET. Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.

Source officielle

Concepts associés (32)

Génie logiciel

Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiques des ingénieurs qui développent des logiciels. Le génie logiciel s'intéresse en particulier aux procédures systématiques qui permettent d'arriver à ce que des logiciels de grande taille correspondent aux attentes du client, soient fiables, aient un coût d'entretien réduit et de bonnes performances tout en respectant les délais et les coûts de construction.

Software development process

In software engineering, a software development process is a process of planning and managing software development. It typically involves dividing software development work into smaller, parallel, or sequential steps or sub-processes to improve design and/or product management. It is also known as a software development life cycle (SDLC). The methodology may include the pre-definition of specific deliverables and artifacts that are created and completed by a project team to develop or maintain an application.

Développement de logiciel

Le développement de logiciel consiste à étudier, concevoir, construire, transformer, mettre au point, maintenir et améliorer des logiciels. Ce travail est effectué par les employés d'éditeurs de logiciels, des entreprises de services du numérique (ESN), des travailleurs indépendants (freelance) et des membres de la communauté du logiciel libre. Un logiciel est créé petit à petit par une équipe d'ingénieurs conformément à un cahier des charges établi par un client demandeur ou une équipe interne.

Méthode agile

vignette|Daily stand-up, rituel quotidien des méthodes agiles. En ingénierie logicielle, les mettent en avant la collaboration entre des équipes auto-organisées et pluridisciplinaires et leurs clients. Elles s'appuient sur l'utilisation d'un cadre méthodologique léger mais suffisant centré sur l'humain et la communication. Elles préconisent une planification adaptative, un développement évolutif, une livraison précoce et une amélioration continue, et elles encouragent des réponses flexibles au changement.

Ingénieur

Un ingénieur est un professionnel traitant de problèmes complexes d'ingénierie, notamment en concevant des produits, des processus si nécessaire avec des moyens novateurs, et dirigeant la réalisation et la mise en œuvre de l'ensemble : produits, systèmes ou services. Il ou elle crée, conçoit, innove dans plusieurs domaines tout en prenant en compte les facteurs sociaux, environnementaux et économiques propres au développement durable.

Afficher plus

Séances de cours associées (27)

Des tests à la preuve

Explore les concepts d'ingénierie logicielle, en soulignant l'importance des tests et des spécifications claires pour assurer l'exactitude du logiciel.

Développement de logiciels: Cycle de vie et méthodologies

Explore le cycle de vie du développement logiciel, les méthodologies, les choix technologiques, les pratiques agiles et les termes communs de l'industrie de la technologie.

Mettre les morceaux ensemble

Explore l'encodage des numéros de téléphone en phrases à l'aide de mnémoniques et met en évidence les avantages des collections immuables de Scala dans le développement de logiciels.

Modélisation des données : concepts et outils MOOC: Systèmes d’Information Géographique 1

Couvre la modélisation des données dans les SIG et l'ingénierie des logiciels, y compris les modèles de relations entités-entités, les associations et les outils de modélisation.

Recherche reproductible : principes et outils

Couvre les principes et les outils de recherche reproductible en biostatistique, soulignant l'importance de la documentation complète et l'utilisation d'éditeurs de texte pour la compilation des documents sources.

Afficher plus

Concepts associés (32)

Génie logiciel

Software development process

Développement de logiciel

Méthode agile

Ingénieur

Afficher plus