Publisher
Kluwer Academic Publishers
Reference13 articles.
1. [ABB+00]_W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle. W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I.P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Proc. 8th European Workshop on Logics in AI (JELIA), LNCS 1919, pages 21–36. Springer-Verlag, 2000.
2. Boldsoft. The Boldsoft OCL Tool Model Run. www.boldsoft.com, Boldsoft, Stockholm, 2002.
3. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, Redwood City, 1994.
4. M. Gogolla and M. Richters. Development of UML Descriptions with USE. In A Min Tjoa, Hassan Shafazand, and K. Badie, editors, Proc. 1st Eurasian Conf. Information and Communication Technology (EURASIA’2002). Springer, Berlin, LNCS, 2002.
5. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In Andy Evans, Stuart Kent, and Bran Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 278–293. Springer, 2000.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献