Passer au contenu principal
Recherche de cours
Fermer
Recherche de cours
Activer/désactiver la saisie de recherche
Français (fr)
English (en)
Français (fr)
العربية (ar)
Connexion
Formal Specification ...
Recherche de cours
Fermer
Recherche de cours
Activer/désactiver la saisie de recherche
Cours
Faculté de Mathématiques et Informatiques
Département d'informatique
Master
M1
M1 Semestre1
FSIS
Généralités
Annonces
Annonces
Nouvelles diverses et annonces
Recherche (forums)
Recherche (forums)
(Aucune annonce n'a encore été publiée)
Activité suivante
Chapter 1 - Introduction
Aller à…
Aller à…
Chapter 1 - Introduction
Chapter 2 - Formal Specifications
Chapter 3 - MERISE Method
Chapter 3 - NIAM Method
Chapter 3 - EXPRESS G Method
Chapter 3 - Z Method
Chapter 3 - OMT Method
Chapter 3 - UML based Method
Chapter 4 - Case Study
Z-formal-specification-language-an-overview
The Z Notation: A Reference Manual
Getting started with EXPRESS–G
Practical Formal Specification Fundamentals
NIAM CONCEPTUAL DATA-BASE DESIGN IN CONSTRUCTION MANAGEMENT
Object-Role Modeling (ORM/NIAM)
ORM2 Graphical Notation
Data modeling in UML and ORM: a comparison
La méthode Merise (Série de vidéos 1) par coursaline
La méthode Merise (Série de vidéos 2) par Nacer RAMMI
Notes EXAMEN SFSI M1 SID 2023 2024