Author:
Bradfield Julian,Filipe Juliana Küster,Stevens Perdita
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Boldsoft, Rational Software Corporation, and IONA. Response to the UML2.0 OCL RfP. http://www.klasse.nl/ocl/subm-draft-text.html , August 2001.
2. J.C. Bradfield and P. Stevens. Observational mu-calculus. In Proceedings of FICS’98, 1998. An extended version is available as BRICS-RS-99-5.
3. J.C. Bradfield and C.P. Stirling. Modal logics and mu-calculi: an introduction. In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra, chapter 4, pages 293–330. Elsevier, 2001.
4. D. Distefano, J.-P. Katoen, and A. Rensink. On a temporal logic for object-based systems. In S. F. Smith and C. L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems, pages 305–326. Kluwer, 2000.
5. D. D’souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, 1999.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献