Related Communities:

List of recommended literature

  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
  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.
  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:
  12. Morgan C., Vickers T. On the refinement calculus. Springer Verlag, 1992
  13. Morgan C. Programming from Specifications. Prentice Hall, 1994
  14. Ontolingua.
  15. OWL Web Ontology Language 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
  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
Supported by Synthesis Group