Documents disponibles écrits par cet auteur

Stratégies de spécification des systèmes temps réel (SA-RT) / Derek HATLEY

Titre : Stratégies de spécification des systèmes temps réel (SA-RT) Type de document : texte imprimé Auteurs : Derek HATLEY ; Imtiaz PIRBHAI ; Abdelkader BOUGHLAM, Traducteur ; André KRAMER, Traducteur Editeur : Masson Année de publication : 1991 Collection : MIPS Importance : 346 p. ISBN/ISSN/EAN : 978-2-225-82229-2 Note générale : Préface Table des matières Liste des figures Avant-propos Index. décimale : 004.33 Temps réel Résumé : LA STRATEGIE D'ENSEMBLE Présentation Rôle des méthodes LE MODELE DES BESOINS Présentation Le modèle des processus Le modèle de contrôle Machine à états finis Spécifications des contraines de temps Dictionnaire des besoins Interprétation du modèle des besoins et résumé CONSTRUCTION DU MODELE DES BESOINS Présentation Pour commencer Développement de la structure du modèle Préparation des spécifications de processus Préparation des spécifications de contrôle Définition des contraintes de temps Gestion du dictionnaire LE MODELE D'ARCHITECTURE Présentation Diagrammes d'architecture Dictionnaire d'architecture et spécifications de module Complément du modèle d'architecture CONSTRUCTION DU MODELE D'ARCHITECTURE Présentation Enrichissement du modèle des besoins Création du modèle Création des modèles d'architecture Résumé de la construction de l'architecture EXEMPLES Système de contrôle d'une automobile Système de chauffage d'une maison Disrtibuteur automatique de boissons

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000678	004.33 HAT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible