]
]
]
]
Publication
Using the Event Calculus to Reason about Problem Diagrams
| Auteur(s) | Andreas CLASSEN, Robin LANEY, Thein Than TUN, Patrick HEYMANS, Arnaud HUBAUX |
| Unité(s) de recherche(s) |
PReCISE Research Center
Unité conception et développement des systèmes d'information Evolution Model-driven engineering |
| Projet de recherche | Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) |
| Année | 2008 |
| Type | Actes de colloques |
| Langue | Anglais |
| Editeur | ACM |
| Mots clés | |
| Résumé | |
| Versions électroniques | Fichier PDF |
Actes d'un colloque
| Titre ouvrage | Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08 |
| Sous-titre | |
| Auteur | Lucia Rapanotti and Jon G. Hall and Zhi Jin and Karl Cox |
| Collection | |
| Sous-collection | |
| Numéro volume | |
| Pages | 74 - 77 |
