Related Communities:

• Moscow ACM SIGMOD Chapter
• ADBIS
• RCDL
• RVO
• Ontological Modeling

1. Abrial J.-R. The B-Book. Assigning programs to meanings. Cambridge,University Press. 1996
2. Alonso G., et al Web Services: Concepts, Architectures and Applications. Springer Verlag, 2004
3. Atkinson M., et al. The Object-Oriented Database System Manifesto. Proceedings of DOOD'89.
4. The Common Object Request Broker Architecture, OMG Document 91.12.1
5. CORBA 2.0 http://www.omg.org/corba/corbiiop.htm
6. Emmerich W. Engineering Distributed objects. Wiley, 2000 (translated into Russian and published in 2002)
7. Kalinichenko L.A., Kogalovsky M.R. OMG standards: interface definition language IDL in the CORBA architecture. DBMS, N 2, 1996 (in Russian)
8. Kalinichenko L.A., Kogalovsky M.R. Interoperability of brokers in the CORBA 2.0 standard. DBMS, N 3, 1996 (in Russian)
9. Kalinichenko L.A., Briukhov D.O., Skvortsov N.A. Compositional Development of Information Systems: Methods and Facilities IPI RAS Technical Report (in Russian published in Proceedings of IPI RAS, Nauka), 2000. http://www.ipi.ac.ru/synthesis/publications/
10. Lano K. The B language and method. Springer Verlag. 1996
11. Methodological Support of RFBR projects for the development of open, interoperable information and computing resources for fundamental science: http://www.ipi.ac.ru/synthesis/projects/ObjTech/
12. Morgan C., Vickers T. On the refinement calculus. Springer Verlag, 1992
13. Morgan C. Programming from Specifications. Prentice Hall, 1994
14. Ontolingua. http://ontolingua.stanford.edu
15. OWL Web Ontology Language Guide, http://www.w3.org/TR/owl-guide/
16. Skvortsov N. A., Kalinichenko L.A. An Approach to Ontological Modeling and Establishing Intercontext Correlation in the Semistructured Environment 2-nd Russian Scientific Conference "DIGITAL LIBRARIES: Advanced Methods and Technologies, Digital Collections, Sep. 26-28, 2000, Protvino http://www.ipi.ac.ru/synthesis/publications/
17. Spivey J.M. The Z Notation (A reference manual). Prentice Hall, 1989
18. Stepney S., Barden R., Cooper D. (Eds). Object Orientation in Z. Springer Verlag, WiC series, 1992
19. Stonebraker M., et. al. Third generation database system manifesto. The committee for advanced DBMS function. April 1990, Memorandum No. UCB/ERL M90/28, College of Engineering, University of California, Berkely
20. Wills L., Newcomb Ph. (Eds). Reverse Engineering. Kluwer Academic Publishers, 1996