File APIs for Java Developers
Manipulate DOC, XLS, PPT, PDF and many others from your application.
http://aspose.com/file-tools
The moose likes Distributed Java and the fly likes CORBA formalism Big Moose Saloon
  Search | Java FAQ | Recent Topics
Register / Login
JavaRanch » Java Forums » Java » Distributed Java
Reply Bookmark "CORBA formalism" Watch "CORBA formalism" New topic
Author

CORBA formalism

Ioanna Dio
Greenhorn

Joined: Jun 14, 2001
Posts: 1
posted
0
Quote
How can someone prove properties (using HOL or any other formal techniques) about CORBA when it is not formally specified? Are there any semantics describing CORBA?
 
 
subject: CORBA formalism
 
Threads others viewed
object reference
Scenerio.. Discussion?
This weeks giveaway
CORBA tutorial
web services, corba, and legacy integration
IntelliJ Java IDE

cast iron skillet 49er

more from paul wheaton's glorious empire of web junk: cast iron skillet diatomaceous earth rocket mass heater sepp holzer raised garden beds raising chickens lawn care CFL flea control missoula heat permaculture