Author:
Goldsby Heather,Cheng Betty H. C.,Konrad Sascha,Kamdoum Stephane
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Douglass, B.P.: Real-Time Design Patterns. Addison-Wesley, Reading (2003)
2. Object Management Group, http://www.omg.org
3. McUmber, W.E., Cheng, B.H.C.: A general framework for formalizing UML with formal languages. In: Proc. of the IEEE Int. Conf. on Software Engineering (ICSE 2001), Toronto, Canada (2001)
4. Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: Proc. of the 14th IEEE Int. Conf. on Automated Software Engineering, Washington (1999)
5. Tanuan, M.C.: Automated Analysis of Unifed Modeling Language (UML) Specifications. Master’s thesis, University of Waterloo, Canada (2001)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献