Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A useful logical semantics of UML for querying and checking UML class diagram

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03255577
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 9 juin 2021 - 16:08:33
Dernière modification le : mercredi 27 avril 2022 - 03:42:44

Identifiants

  • HAL Id : hal-03255577, version 1
  • OKINA : ua4499

Collections

Citation

Thomas Raimbault, David Genest, Stéphane Loiseau. A useful logical semantics of UML for querying and checking UML class diagram. International Conference on Agents and Artificial Intelligence, ICAART 2009, 2009, Porto, Portugal. pp.179 - 184. ⟨hal-03255577⟩

Partager

Métriques

Consultations de la notice

10