Structured nodes in UML 2.0 activities
Nordic Journal of Computing
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Visual qualities of the Unified Modeling Language: Deficiencies and Improvements
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Defining syntax and providing tool support for Agent UML using a textual notation
International Journal of Agent-Oriented Software Engineering
Towards a Graphical Tool for Refining User to System Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Thread---Based Analysis of Sequence Diagrams
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
A feature-based approach for modeling role-based access control systems
Journal of Systems and Software
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A verifiable modeling approach to configurable role-based access control
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Checking the validity of scenarios in UML models
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Unifying the semantics of UML 2 state, activity and interaction diagrams
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
Towards the verification of multi-diagram UML models
Proceedings of the 34th International Conference on Software Engineering
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Formalizing the design of embedded software using sequence diagrams and abstract state machines
Proceedings of the 2nd annual conference on Research in information technology
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |