Syllabus - USTH Moodle

USTH : ICT Department
English version : 1 page max for each Course
Course Title :
Sofware Engineering - Génie logiciel
Semester
Semester 1
Specializations
Multimedia
Semester 2
Semester 3
Embedded systems
Environmental decision support systems
Teaching methods (50 hours = Lecture + Exercice + Labwork)
Lecture :
20 Hours
Homework
25 Hours
Exercise
20 Hours
Seminars
10 Hours
Labwork
Hours
Syllabus
The aim of this course is to present major concepts used in software engineering
Key words :
requirements, specification, modelling, patterns, architecture, design, testing
Description of Content :
The content will be adapted to take into account the students and also the overall organization goals.
- Software development life cycle
- Software requirement modelling (with UML) and modelling method
- Design patterns, problem patterns (problem frames)
- Requirement specification and formal specification development method
- Formal specification of major data structures used in algorithms
- Object-oriented paradigms
- Software architecture, design, components
- Software testing
- Use cases and projects
Requisit
Programming experience, object-oriented and if possible functional programming
Software - Framework
some UML environment software
Assessment Method :
Labwork (50%), A Final exam (50%).
Main references (literature) to be used in the course
for UML: http://www.uml.org/
S. Haddad, F. Kordon and L. Petrucci. Méthodes formelles pour les systèmes répartis et coopératifs.
Hermès, novembre 2006.
B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and Ph. Schnoebelen. Systems and
Software Verification. Model-Checking Techniques and Tools. Springer, 2001.
Teaching team (lecturers)
Christine CHOPPY, Email: [email protected] , Laurent FUCHS,
Email:[email protected] , Etienne ANDRE, Email: [email protected]
University : UNIVERSITE PARIS 13, UNIVERSITE DE POITIERS
Contacts : (Coordonnées de la personne référente dans l’établissement)
Christine CHOPPY, Email: [email protected]
Laboratory : LIPN
Research activities (Team, Topics, …) :
Team "Logic, Computation and Reasoning" on the theme "software specification and verification"