تخطى إلى المحتوى الرئيسي
Course search
اغلاق
Course search
تبديل إدخال البحث
العربية (ar)
English (en)
Français (fr)
العربية (ar)
Log in
Formal Specification ...
Course search
اغلاق
Course search
تبديل إدخال البحث
المقررات الدراسية
كلية الرياضيات و الإعلام الآلى
قسم إعلام آلى
ماستر
ماستر 1
ماستر1 الفصل1
FSIS
مخطط الموضوع
عام
طي الكل
توسيع الكل
Annonces
منتدى
Chapter 1 - Introduction
Chapter 1 - Introduction
ملف
Diaporama Powerpoint 2007
Chapter 2 - Formal Specification
Chapter 2 - Formal Specifications
ملف
Diaporama Powerpoint 2007
Chapter 3 - Formal Specification Methods in Information Systems
Chapter 3 - MERISE Method
ملف
Diaporama Powerpoint 2007
Chapter 3 - NIAM Method
ملف
Diaporama Powerpoint 2007
Chapter 3 - EXPRESS G Method
ملف
Diaporama Powerpoint 2007
Chapter 3 - Z Method
ملف
Diaporama Powerpoint 2007
Chapter 3 - OMT Method
ملف
Diaporama Powerpoint 2007
Chapter 3 - UML based Method
ملف
Diaporama Powerpoint 2007
Chapter 4 - Case Study: The NIAM Method
Chapter 4 - Case Study
ملف
Diaporama Powerpoint 2007
Bibliography
Z-formal-specification-language-an-overview
ملف
Document PDF
The Z Notation: A Reference Manual
ملف
Document PDF
Getting started with EXPRESS–G
ملف
Document PDF
Practical Formal Specification Fundamentals
ملف
Document PDF
NIAM CONCEPTUAL DATA-BASE DESIGN IN CONSTRUCTION MANAGEMENT
ملف
Document PDF
Object-Role Modeling (ORM/NIAM)
ملف
Document PDF
ORM2 Graphical Notation
ملف
Document PDF
Data modeling in UML and ORM: a comparison
ملف
Document PDF
External ressources
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
رابط الكتروني
Examens
Notes EXAMEN SFSI M1 SID 2023 2024
ملف
Document PDF
الموضوع 8
غير متوفر
الموضوع 9
غير متوفر
الموضوع 10
غير متوفر