A method for the early stages of interactive system design using UML and Lean Cuisine+
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
An Execution Algorithm for UML Activity Graphs
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Proceedings of the IEEE/ACM international conference on Automated software engineering
Hi-index | 0.00 |