Ensimag Rubrique Formation 2022

Software analysis design and validation - 4MMACVL

  • Number of hours

    • Lectures 16.5
    • Tutorials 16.5


    ECTS 2.5


The aim of this course is to present techniques for software analysis, design and testing. The presented approaches rely on the UML notation, which allows the developer to elaborate object models with various diagrams. This course will be illustrated by practice exercises and case studies.

Contact Catherine ORIAT


  • Software Engineering
    - UML Diagrams
    - Requirement Analysis and Expression
    - Object Modeling
    - Design
    - Design patterns
    - Constraint languages


Implementation of a big software engineering project


A lab work and a written exam


Additional Information

Curriculum->ENGINEERING systm of information->Semester 4
Curriculum->For Financial Engineering->Semester 4
Team->Database, IS and knwoledge
Team->Programming and Software


M.-C. Gaudel, B. Marre, F. Schlienger, G. Bernot. Précis de génie logiciel. Masson 1996.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Premerlani, Object-Oriented Modeling and Design, Prentice Hall, 1991.
J. Rumbaugh, I. Jacobson, G. Booch, Unified Modeling Language Reference Manual, Addison Wesley, 1999
P.-A. Muller, N. Gaertner. Modélisation objet avec UML. Deuxième édition. Eyrolles, 2000.
C. Larman. UML et les Design Patterns. Campus Press, 2002.
E. Gamma, R. Helm, R. Johnson, J. Vlissides. Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley. 1995.