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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

47 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Third International Workshop on Applications and Advances in Problem Frames (IWAAPF'08), co-located with ICSE'08
Editors	Lucia Rapanotti, G Jon, Hall Zhi, Jin Karl
Publisher	ACM Press
Pages	74-77
Number of pages	4
Publication status	Published - 2008

Access to Document

64235Submitted manuscript, 247 KB

Model-driven engineering
Cleve, A.
1/01/10 → 31/01/10
Project: Research Axis
Evolution: Evolution
Cleve, A.
1/01/10 → 31/01/10
Project: Research Axis

Cite this

@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.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

Access to Document

Projects

Model-driven engineering

Evolution: Evolution

Cite this