Object-Oriented Programming

Supports de cours Java - les bases du langage Java - programmation avancée Interface graphique avec Swing OSGi Web Services Supports de TD, TP et projet TD1 TP1 (classe Console, et sa javadoc, de Xavier Crégut) et TP2 Projet météo, et les sources du projet météo (à compléter !

Software (and Systems) Modeling and Architecture

Benoit Combemale (Univ. Rennes 1, ESIR & IRISA) DiverSE team (IRISA & Inria) Campus de Beaulieu F-35042 Rennes Cedex benoit.combemale AT Lectures (Materials) Modeling in Software Engineering UML Basics: An introduction to the Unified Modeling Language (UML) Analyse à objet avec UML The Object Constraint Language (OCL) Design Patterns Implementation patterns, bad smells, refactoring and tools Refactoring Tools and Methods-- A Short Introduction about Systems Engineering and SysML Not maintained (and possibly outdated!

Software Language Engineering

Benoit Combemale (Univ. Toulouse & Inria) Description Software engineering faces new challenges with the advent of modern software-intensive systems such as complex critical embedded systems, cyber-physical systems and Internet of things.

Software Validation and Verification

Lectures (videos in french, slides in english) Software Validation & Verification: a gentle introduction Software testing at glance Static analysis Dynamic testing Integration testing Test qualification and main criteria Mutation testing Test automation Software testing: looking ahead A textbook (by Oscar Luis Vera-Pérez) complements the lectures.