Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Exp gl3 mod Typologie des modèles outils et des méthodes de spéci ?cation en Génie Logiciel Bernard ESPINASSE Professeur à l'Université d'Aix-Marseille Plan ? Typologie des modèles analytiques conceptuels structurels comportementaux ? Typologie des outils

Typologie des modèles outils et des méthodes de spéci ?cation en Génie Logiciel Bernard ESPINASSE Professeur à l'Université d'Aix-Marseille Plan ? Typologie des modèles analytiques conceptuels structurels comportementaux ? Typologie des outils informels ou semi-formels ? Dictionnaire de données tables de décision d'états-transitions ? Diagrammes de ot de données de structures d'états-transitions ? Réseaux de Pétri et le Grafcet ? Modèle Entité-Association de base et étendu ? Typologie des méthodes fonctionnelles systémiques orientées objet Typologie des Outils et Méthodes de spéci ?cation en Génie Logiciel - Bernard ESPINASSE - ? - CProblématique générale Modèles Outils Méthodes ? Modèles représentation abstraite de tout ou partie du réel ? Outils formalisme langue permettant d'exprimer un modèle ? Méthode modèle outils démarche de mise en oeuvre Typologie des Outils et Méthodes de spéci ?cation en Génie Logiciel - Bernard ESPINASSE - ? - CModèles pour la spéci ?cation et la conception ? modèles pour la spéci ?cation du logiciel ? exprimer les caractéristiques de l'objet à développer ? selon une vue externe comportement propriété contraintes ? modèles pour la conception du logiciel ? donner une description interne de l'objet à développer ? la plus explicite possible structure comportement des composants Typologie des Outils et Méthodes de spéci ?cation en Génie Logiciel - Bernard ESPINASSE - ? - CQualité et classi ?cation des modèles ? Qualité générale d'un modèle ? abstraction permet de décrire le système sans faire référence aux détails de toutes ses parties ? re ?nement un sous-ensemble du modèle doit pouvoir être décrit à l'aide d'un autre modèle ? du même type description progressive ? d'un autre type pour compléter la description ou exprimer un point de vue di ?érent ? lisibilité le modèle doit être simple à interpréter intérêt des représentations graphiques ? Classi ?cation des modèles ? iconique reproduction en miniature d'un objet réel voiture avion maquette b? timent pour sou erie ? analogique exploitent une apparence physique di ?érente du phénomène ou objet du réel réseau électrique pour une suspension de voiture ? analytique relations mathématiques et logiques pour représenter les lois physiques de l'objet ? conceptuels emploi de symboles pour la représentation des aspects qualitatifs Typologie des Outils et Méthodes de spéci ?cation en Génie Logiciel - Bernard ESPINASSE - ? - CModèles analytiques ? très répandus et très variés ? utilisés pour prédire ou estimer partiellement le comportement de l'objet ? utilisés comme moyen de validation ? classi ?cation des modèles analytiques Wilson statique dynamique déterministe relations algébriques relations di ?érentielles non déterministe relations statistiques et probabilistes relations stochastiques modèles indépendants du temps modèles dépendants du temps Typologie des Outils et Méthodes de spéci ?cation en Génie Logiciel - Bernard ESPINASSE - ? - CModèles conceptuels permettent de ? clari ?er une situation organigramme d'une société ? illustrer un concept boucle de rétroaction ? dé ?nir des relations entre entités d'une structure circulation de ux d'information ? dé ?nir une méthode ? classi ?cation des modèles conceptuels Wilson structurel comportemental activités données vertical horizontal continu discret