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
Practical Formal Specification Fundamentals
Practical Formal Specification Fundamentals
Document PDF
Cliquer le lien
why_formal.pdf
pour afficher le fichier.
Activité précédente
Getting started with EXPRESS–G
Activité suivante
NIAM CONCEPTUAL DATA-BASE DESIGN IN CONSTRUCTION MANAGEMENT
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
Getting started with EXPRESS–G
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