Publisher: Springer; Softcover reprint of the original 1st ed. 2002 edition (October 4, 2013)
Format: PDF / Kindle / ePub
Size: 6.4 MB
Downloadable formats: PDF
Formal tools for Open Object-Based disbursed structures V brings jointly study in 3 very important and similar fields: Formal tools; dispensed structures; Object-based expertise. the sort of convergence is consultant of modern advances within the box of allotted structures, and gives hyperlinks among a number of medical and technological groups. The large scope of subject matters coated during this quantity variety in topic from UML to object-based languages and calculi and protection, and in technique from specification to case experiences and verification.This quantity contains the court cases of the 5th foreign convention on Formal equipment for Open Object-Based allotted structures (FMOODS 2002), which used to be subsidized via the overseas Federation for info Processing (IFIP) and held in Enschede, The Netherlands in March 2002.