Recherche en cours
Par mots-clef
=
méthode de spécification formelle
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2
résultats
section 1-1
sur 1
résultats
1 à 2
UNIT
Exemples de schémas conceptuels dynamiques et statiques (Maquette Numérique et Interopérabilité dans le Bâtiment)
Description
:
Les outils informatiques du secteur du bâtiment ne peuvent être développés sans une coopération entre des professionnels des métiers de la construction et des informaticiens à travers les modèles conceptuels. Deux exemples sont abordés : - La méthode de spécification formelle UML, l'une des plus uti ...
Date
:
03-01-2012
Format
:
Document HTML
Auteur
:
Caron Jean-François, Billon Roland, Fasse Calvet Isabelle, Dupeloux Lionel
Thème
:
Bâtiments
Type de la ressource pédagogique
:
cours / présentation, exercice, glossaire
Niveau
:
enseignement supérieur, formation professionnelle
Public
:
enseignant, apprenant, gestionnaire
UNIT
Maîtriser la sémantique d'un Système d'information (Maquette Numérique et Interopérabilité dans le Bâtiment)
Description
:
Introduction aux langages de spécification de données et aux modèles conceptuels, dans l'objectif d'échanger les données techniques avec ses partenaires, de se faire comprendre sans ambiguïté, mais aussi de dialoguer avec les professionnels des systèmes d'information. Unité de cours n°6 de l'ensemb ...
Date
:
03-01-2012
Format
:
Document HTML
Auteur
:
Caron Jean-François, Billon Roland, Fasse Calvet Isabelle, Dupeloux Lionel
Thème
:
Bâtiments
Type de la ressource pédagogique
:
cours / présentation, exercice, glossaire
Niveau
:
enseignement supérieur, formation professionnelle
Public
:
enseignant, apprenant, gestionnaire
Afficher section
2
sur 1