Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Lecture Notes in Computer Science;R. Alur,1999
2. Baader, F., Nipkow, T.: Term rewriting and all that. Cambridge University Press (1998)
3. Cardoso, J., Sibertin-Blanc, C.: Ordering actions in sequence diagrams of UML. In: 23rd Int. Conf. on Information Technology Interfaces, pp. 3–14 (2001)
4. Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: 3rd Int. Wsh. Critical Systems Development with UML, pp. 85–99 (2004)
5. France, R., Kim, D., Ghosh, S., Song, E.: A UML-Based Pattern Specification Technique. IEEE Transactions on Software Engineering 30(3), 193–206 (2004)