49299 (666218), страница 5
Текст из файла (страница 5)
41./[30]Naumenko A., Wegmann A. A Metamodel for the Unified Modeling Language // Lect. Notes Comput. Sci. - 2002. - V. 2460.- P. 2-17.
42/[31].RM-ODP Open Distributed Processing - Reference Model - ISO, ITU.: ISO/IEC 10746-1, 2, 3, 4 | ITU-T Recommendation X.901, X.902, X.903, X.904, 1995-1998.
[32] Paige R., Ostroff J. Metamodelling and Conformance Checking with PVS // Lect. Notes Comput. Sci. - 2001. - V. 2029. -P. 2-16.
[33] Walden K., Nerson J.-M. Seamless Object-Oriented Software Development. - Prentice-Hall, 1995.
[34]. Owre S., Shankar N., Rushby J., Stringer-Calvert D. The PVS Language Reverence Version 2.3 - September, 1999. -(Tech. Rep. / SRI International Technical Report).
[35] Overgaard G. Formal Specification of OO Modeling // Lect. Notes Comput. Sci. - 2000. - V. 1783. - P. 193-207.
[36]Clark T., Evans A., Kent S. The Metamodelling Language Calculus: Foundation Semantics for UML // Lect. Notes Comput.Sci. - 2001. - V. 2029. - P. 17-31.
[37] Cardeli L, Abadi M. A theory of Objects. - Springer-Verlag, 1996.
[38] Lellahi K. Conceptual Data Modeling: An Algebraic Viewpoint // Lect. Notes Comput. Sci. - 2001. - V. 2244. - P. 336-348.
[39] Wikipedia, the free encyclopedia,www. wikipedia.gb
[40] стаття ACM "Death by UML Fever"
[41] UML Forum. "UML FAQ". http://www.uml-forum.com/FAQ.htm.















