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
Bibliography
Getting started with EXPRESS–G
Getting started with EXPRESS–G
Document PDF
Cliquer le lien
xpress.pdf
pour afficher le fichier.
Activité précédente
The Z Notation: A Reference Manual
Activité suivante
Practical Formal Specification Fundamentals
Aller à…
Aller à…
Annonces
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
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