EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: DAEMON: Deontic Activity and Enterprise Modeling with an Object-oriented Notation
Home Policy Brochure Browse Search User Area Contact Help

2004

Eshuis, H. and Wieringa, R.J. (2004) Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, 30 (7). pp. 437-447. ISSN 0098-5589 *** ISI Impact 1,516 ***

2001

Eshuis, H. and Wieringa, R.J. (2001) An Execution Algorithm for UML Activity Graphs. In: 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), 1-5 Oct 2001, Toronto, Canada. pp. 47-61. Lecture Notes in Computer Science 2185. Springer. ISSN 0302-9743 ISBN 978-3-540-42667-7