Table des matières
17 relations: Fondation Eclipse, IBM, Invariant, Langage de requête, Langage informatique, Logiciel multiplateforme, Métamodèle, Modèle (informatique), Model driven architecture, Object Management Group, Précondition, Programmation déclarative, Programmation impérative, Programmation par contrat, QVT, Typage fort, UML (informatique).
- Unified Modeling Language
Fondation Eclipse
La fondation Eclipse est une organisation à but non lucratif supervisant le développement de l'IDE open source Eclipse et des projets gravitant autour, et qui aide à cultiver une communauté open source et un écosystème de produits et de services complémentaires autour d'Eclipse.
Voir Object Constraint Language et Fondation Eclipse
IBM
International Business Machines Corporation, connue sous le sigle IBM, est une entreprise multinationale américaine présente dans les domaines du matériel informatique, du logiciel et des services informatiques.
Voir Object Constraint Language et IBM
Invariant
En mathématiques, le mot invariant possède suivant le contexte différentes significations (non équivalentes).
Voir Object Constraint Language et Invariant
Langage de requête
Un langage de requête, aussi connu comme langage de requête des données (en anglais: data query language; DQL), est un langage informatique utilisé pour accéder aux données d'une base de données ou d'autres systèmes d'information.
Voir Object Constraint Language et Langage de requête
Langage informatique
Un langage informatique est un langage formel non nécessairement Turing-complet utilisé lors de la conception, la mise en œuvre, ou l'exploitation d’un système d'information.
Voir Object Constraint Language et Langage informatique
Logiciel multiplateforme
Un logiciel multiplateforme est un logiciel conçu pour fonctionner sur plusieurs plateformes informatiques.
Voir Object Constraint Language et Logiciel multiplateforme
Métamodèle
Dans le cadre d'une modélisation, un métamodèle est un modèle dont les instances sont elles-mêmes des modèles.
Voir Object Constraint Language et Métamodèle
Modèle (informatique)
En informatique, un modèle a pour objectif de structurer les informations et activités d'une organisation: données, traitements, et flux d'informations entre entités.
Voir Object Constraint Language et Modèle (informatique)
Model driven architecture
L’architecture dirigée par les modèles ou MDA (pour l'anglais) est une démarche de réalisation de logiciels, proposée et soutenue par l'OMG.
Voir Object Constraint Language et Model driven architecture
Object Management Group
L'Object Management Group (OMG) est un consortium international à but non lucratif créé en 1989 dont l’objectif est de standardiser et promouvoir le modèle objet sous toutes ses formes.
Voir Object Constraint Language et Object Management Group
Précondition
Une précondition est une condition appliquée au début d'un calcul ou d'une fonction informatique, et permettant d'en valider le résultat.
Voir Object Constraint Language et Précondition
Programmation déclarative
Binario cropped. La programmation déclarative est un paradigme de programmation qui consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne.
Voir Object Constraint Language et Programmation déclarative
Programmation impérative
En informatique, la programmation impérative est un paradigme de programmation qui décrit les opérations en séquences d'instructions exécutées par l'ordinateur pour modifier l'état du programme.
Voir Object Constraint Language et Programmation impérative
Programmation par contrat
La programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles.
Voir Object Constraint Language et Programmation par contrat
QVT
En ingénierie dirigée par les modèles, Query/View/Transformation (QVT), que l'on peut traduire par « Requête/Vue/Transformation », est un standard pour la spécification de transformations de modèles.
Voir Object Constraint Language et QVT
Typage fort
En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées.
Voir Object Constraint Language et Typage fort
UML (informatique)
Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.
Voir Object Constraint Language et UML (informatique)
Voir aussi
Unified Modeling Language
- ATLAS Transformation Language
- Acteur (UML)
- Artéfact (UML)
- Cas d'utilisation
- Classe interne
- Composition (programmation)
- David Harel
- Diagramme de cas d'utilisation
- Grady Booch
- Ingénierie dirigée par les modèles
- Ingénierie système basée sur les modèles
- Ivar Jacobson
- James Rumbaugh
- Kermeta
- Meta-Object Facility
- Model driven architecture
- Modeling and Analysis of Real Time and Embedded systems
- Object Constraint Language
- Object Management Group
- Object modeling technique
- Package (UML)
- Profil (UML)
- QVT
- Stéréotype (UML)
- Systems Modeling Language
- Telelogic
- Transformation de modèles
- UML (informatique)
- UML Profile for DoDAF/MODAF
- XML Metadata Interchange