Using the Event Calculus to Reason about Problem Diagrams

Andreas Classen; Robin Laney; Thein Than Tun; Patrick Heymans; Arnaud Hubaux

Using the Event Calculus to Reason about Problem Diagrams

Andreas Classen, Robin Laney, Thein Than Tun, Patrick Heymans, Arnaud Hubaux

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

41 Téléchargements (Pure)

langue originale	Anglais
titre	Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08
rédacteurs en chef	Lucia Rapanotti, G Jon, Hall Zhi, Jin Karl
Editeur	ACM Press
Pages	74-77
Nombre de pages	4
Etat de la publication	Publié - 2008

Accès au document

64235manuscrit soumis, 247 KB

Model-driven engineering
Cleve, A. (Co-investigateur)
1/01/10 → 31/01/10
Projet: Axe de recherche
Evolution: PReCISE Evolution
Cleve, A. (Responsable du Projet)
1/01/10 → 31/01/10
Projet: Axe de recherche

Contient cette citation

@inproceedings{10d589180f4d42028178a09a22e58b61,

title = "Using the Event Calculus to Reason about Problem Diagrams",

author = "Andreas Classen and Robin Laney and Tun, {Thein Than} and Patrick Heymans and Arnaud Hubaux",

note = "Publication editors : Lucia Rapanotti and Jon G. Hall and Zhi Jin and Karl Cox",

year = "2008",

language = "English",

pages = "74--77",

editor = "Lucia Rapanotti and G Jon and Hall Zhi and Jin Karl",

booktitle = "Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08",

publisher = "ACM Press",

address = "United States",

}

Using the Event Calculus to Reason about Problem Diagrams. / Classen, Andreas; Laney, Robin; Tun, Thein Than et al.
Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08. Ed. / Lucia Rapanotti; G Jon; Hall Zhi; Jin Karl. ACM Press, 2008. p. 74-77.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

TY - GEN

T1 - Using the Event Calculus to Reason about Problem Diagrams

AU - Classen, Andreas

AU - Laney, Robin

AU - Tun, Thein Than

AU - Heymans, Patrick

AU - Hubaux, Arnaud

N1 - Publication editors : Lucia Rapanotti and Jon G. Hall and Zhi Jin and Karl Cox

PY - 2008

Y1 - 2008

M3 - Conference contribution

SP - 74

EP - 77

BT - Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08

A2 - Rapanotti, Lucia

A2 - Jon, G

A2 - Zhi, Hall

A2 - Karl, Jin

PB - ACM Press

ER -

Using the Event Calculus to Reason about Problem Diagrams

Accès au document

Projets

Model-driven engineering

Evolution: PReCISE Evolution

Contient cette citation