FYI --- New OMG Formal Specifications





The following formal specifications are available from the Specification
Catalog or document number URL.

CORBA, v 2.6.1
      http://www.omg.org/technology/documents/formal/corba_iiop.htm
      (with change bars)  http://www.omg.org/cgi-bin/doc?formal/02-05-08
      (without change bars)  http://www.omg.org/cgi-bin/doc?formal/02-05-15


Time Service, v1.1
      http://www.omg.org/technology/documents/formal/time_service.htm
      http://www.omg.org/cgi-bin/doc?formal/02-05-06


Enhanced View of Time, v1.1

http://www.omg.org/technology/documents/formal/enhanced_time_service.htm
      http://www.omg.org/cgi-bin/doc?formal/02-05-07


Bibliographic Query Service, v1.0

http://www.omg.org/technology/documents/formal/bibliographic_query.htm
      http://www.omg.org/cgi-bin/doc?formal/02-05-03


Macromolecular Structure, v1.0
      http://www.omg.org/technology/documents/formal/macro_molecular.htm
      http://www.omg.org/cgi-bin/doc?formal/02-05-01
















[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]