Specifications de Systemes Logiciels المواصفات الشكلية Software Specifications Chapitre 7.

Slides:



Advertisements
Présentations similaires
Les matrices.
Advertisements

Algorithmes et structures de données 7ème cours
Classification et prédiction
Sensibilisation à l’Algorithmique et structure de données
SuivantPrécédent ESSI 1 - Auto TS © Jean-Paul Stromboni (Mai 2000) Consolidation: tester les connaissances acquises 1 Etude de la commande du système.
GEF 243B Programmation informatique appliquée
Inférence statistique
1 Révisions. 2 Tableaux non contraints Déclaration du type : type Tvecteur = tableau ( intervalle dentiers) de entiers type Tvecteur is array (integer.
Modélisation des systèmes non linéaires par des SIFs
Limites d’une fonction
Problèmes aux limites Généralités
Les attributs, leurs types, leurs valeurs Christelle Scharff IFI Juin 2004.
Analyse en Composantes Principales
Chapitre V. Tables de hachage
Système de nombre réel.
Le système numérique Mathématique 10e – 1.1.
Arbre binaire de recherche
Chapitre 2: Les régularités et les relations
8PRO100 Éléments de programmation Allocation dynamique de la mémoire.
Concepts avancés en mathématiques et informatique appliquées
PROGRAMMATION SCIENTIFIQUE EN C
Programmation logique Démonstrateur automatique
1 Exercice : longueur d’un mot est-elle paire ?  Test fonctionnel  Quel ensemble de valeur choisir / spécification  Test structurel  Soit le code d’un.
Les graphiques pour la vélocité. Les variables: Indépendante - Dépendante - Une révision des graphiques:
Les pointeurs Modes d’adressage de variables. Définition d’un pointeur. Opérateurs de base. Opérations élémentaires. Pointeurs et tableaux. Pointeurs et.
Symbolisme vs Connexionnisme
Manipulation de formulaires en Javascript
Courbes de Bézier.
Somme et intégrale de Riemann
Les propriétés des fonctions
Quelques fonctions de base
PROGRAMMATION SCIENTIFIQUE EN C
Chapitre 9 Les sous-programmes.
RECONNAISSANCE DE FORMES
Les propriétés des fonctions
3.2 Circuits logiques de base
18/09/07 MATHÉMATIQUES FINANCIÈRES I Cinquième cours.
ACT Cours 5 MATHÉMATIQUES FINANCIÈRES I Cinquième cours.
Programmation linéaire en nombres entiers : les méthodes de troncature
L’essentiel du langage C
Animateur : Med HAIJOUBI
Specifications de Systemes Logiciels المواصفات الشكلية Software Specifications Chapitre 7.
Argc et argv Utilisation des paramètres de la ligne de commande.
STATISTIQUES DESCRIPTIVES
SIMPLIFICATION D’UNE RACINE CARREE.
STATISTIQUES – PROBABILITÉS
1 Quatrième journée Les flots de données Les entrées/sorties Les flots de données Les entrées/sorties.
Strings et Tableaux en Java
Structures de données avancées : Concepts du Multidimensionnel D. E ZEGOUR Institut National d ’Informatique.
Opérations sur les limites Limite de u(x)LLL ++ –– ++ Limite de v(x) L’ ++ –– ++ –– –– Limite de u(x) + v(x) Forme indéterminée de 1e espèce.
© Petko ValtchevUniversité de Montréal Février IFT 2251 Génie Logiciel Spécification de Processus Concurrents Hiver 2002 Petko Valtchev.
Chapitre E2: Tension continue, tension variable
20- Racine carrée Racine carré d’un nombre positif
Cours LCS N°4 Présenté par Mr: LALLALI
Les fonctions de référence
PROGRAMMATION SCIENTIFIQUE EN C PRO Résolution de système d’équations non- linéaires (racines d’équations) u Méthode de la bissection u Analyse.
Fabienne BUSSAC RACINES CARREES 1. RACINE CARRÉE D’UN NOMBRE POSITIF
REVISIONS POINTS COMMUNS
MATHÉMATIQUES FINANCIÈRES I
Le tableau périodique.
Chapitre 4 Variables aléatoires discrètes
Introduction à la programmation (420-PK2-SL) cours 18 Gestion des applications Technologie de l’information (LEA.BW)
Limites des fonctions de référence
- 5  3 = ? - 5  ( - 9) = ? 6  (- 9) = ? (– 35)  (– 2) = ?
Traitement du signal (images) u Sujets –Détection des droites –Transformée de Hough (espace paramétré) *avec la pente et l’ordonnée à l’origine *avec.
LES TABLEAUX Définition: Création d’un tableau:
PROGRAMMATION SCIENTIFIQUE EN C
Chapitre 1: Nombres relatifs M. FELT
Chapitre 4: Variation dans le temps  Les données : audience totale en milliers (tableau 4.1, p. 47, extrait) o Origine : enquête sur les habitudes d’écoute.
Transcription de la présentation:

Specifications de Systemes Logiciels المواصفات الشكلية Software Specifications Chapitre 7

Proprietes des Specifications Proprietes du produit  Precision  Simplicite  Abstraction Proprietes du processus  Completude  Minimalite.

Mathematiques Discretes  Espace, S x, y, z: int; s dans S: x(s), y(s), z(s) R sur S: {(s,s’)| x(s’)=x(s)+y(s)} {(s,s’)| x’=x+y}

Exemple de specification Nous avons deux variables reelles x et y, nous voulons specifier un programme qui calcule la racine carree de x dans y. Ecrivez une relation R qui contient toutes les paires d’entrée sortie decrites dans cette specification.

Interpretations, 1  Nous supposons que x est initialement non negatif, et que y est une racine positive ou negative de x.

Interpretations, 1  Nous supposons que x est initialement non negatif, et que y est une racine positive ou negative de x.

Interpretations, 2  Nous supposons que x est initialement non negatif, et que y est une approximation de la racine positive ou negative de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 2  Nous supposons que x est initialement non negatif, et que y est une approximation de la racine positive ou negative de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 3  Nous supposons que x est initialement non negatif, et que y est une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 3  Nous supposons que x est initialement non negatif, et que y est une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 4  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que y soit une approximation de la racine positive de la valeur absolue de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 4  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que y soit une approximation de la racine positive de la valeur absolue de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 5  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que si x est positive ou nulles alors y est une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6. Si x est negative, alors y prend la valeur -1.

Interpretations, 5  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que si x est positive ou nulles alors y est une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6. Si x est negative, alors y prend la valeur -1.

Interpretations, 6  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que si x est positive ou nulle alors y est une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 6  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que si x est positive ou nulle alors y est une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 7  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que si x est positive ou nulle alors nous preservons x et mettons dans y une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6.

Interpretations, 7  La valeur intiale de x n’est pas necessairement non negative, et nous demandons que si x est positive ou nulle alors nous preservons x et mettons dans y une approximation de la racine positive de x a epsilon pres, ou epsilon = 10^-6.

Un programme de Recherche Espace: a: array [indextype] of itemtype; x: itemtype; k: indextype U {0}; // indextype 1..N; Specification: specifier un programme de recherche de x dans a.

Interpretation 1  Le tableau a contient x qqe part; nous devons placer dans k un index ou x se trouve.

Interpretation 1  Le tableau a contient x qqe part; nous devons placer dans k un index ou x se trouve.

Interpretation 2  Le tableau a contient x qqe part; nous devons placer dans k un index ou x se trouve tout en preservant a et x.

Interpretation 2  Le tableau a contient x qqe part; nous devons placer dans k un index ou x se trouve tout en preservant a et x.

Interpretation 3  Le tableau a contient x qqe part; nous devons placer dans k le plus grand index ou x se trouve.

Interpretation 2  Le tableau a contient x qqe part; nous devons placer dans k un index ou x se trouve tout en preservant a et x.