Cours - Lectures
- M2R MOPS - Méthodes formelles pour la conception des
logiciels
2nd year of research master - Formal Methods for Software
Design
LOTOS process algebra
application to (Web) service verification, composition and
adaptation
lecture
on LTS and LOTOS (by R. Mateescu)
lecture on
adaptation
work on LOTOS (with
CADP)
- M2P CCI - Bases de données
2nd year of professional master - Databases
database design, relational algebra, SQL
lectures #1-#3
(by G. Gardarin, in French)
lecture
#4 (by D. Herman, P. Burgevin and P. Fresnais, in French)
- L3 - Génie logiciel
3rd year of licence - Software Engineering
LTS, LTS products, FSP process algebra, equivalences, basics of
temporal logic
application to java threaded programs
lectures (final
version 2008-2009, June, 1st, 2009, in French)
practical work 1-2
(
solutions),
practical work 3-5
(
solutions),
practical work 6-7
(
partial
solutions)
CWB-NC, LTSA
TD & TP - Practical work
- M1 - Modélisation objet
1st year of master - Object Modelling
- M1 - Conception et programmation d'applications
réparties
1st year of master - Design and Programming of Distributed
Applications
- L3 - Génie logiciel
3rd year of Licence - Software Engineering
- L3 - Systèmes d'Information (Merise)
3rd year of Licence - Information Systems
Subjects (and some more or less old documents)
(see also above)
- Software Engineering and Behavioural Formal Methods
(transition system formalisms, process algebras, temporal
logic)
lectures on CCS (in
French)
lecture on
additional concepts for LTS (in French)
work on LTS
modelling,
work on CCS (with
CWB-NC),
work on temporal
logic (with SPIN and with
NuSMV) (in French)
- UML
- Programming (Python, Java, C, CaML)
lecture on
programming basics (in French)
lectures on
python (in French)
- Databases, Client-Server and Web Design & Programming
lectures on
Web technologies (by L. Seinturier, in French)
lecture on UML for Web
design (in French)
- Computer Architecture, Operating Systems, Networking
Additional information
- INRIA
"délégation" file, p10.
- note: my old teaching documents repository has been cleaned up
(documents available upon request).