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 Université d'Angers <>
Soumis le : mercredi 9 juin 2021 - 16:08:33
Dernière modification le : jeudi 10 juin 2021 - 03:39:58

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

9