{"product_id":"formal-methods-for-open-object-based-distributed-systems-6th-ifip-wg-6-1-international-conference-fmoods-2003-paris-france-november-19-21-2003-9783540204916","title":"Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19.21, 2003,","description":"\u003cp\u003e • Author(s): Elie Najm\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Object Oriented\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems, andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE\/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283106160791,"sku":"9783540204916","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540204916.webp?v=1769304097","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-for-open-object-based-distributed-systems-6th-ifip-wg-6-1-international-conference-fmoods-2003-paris-france-november-19-21-2003-9783540204916","provider":"Atlantic Books","version":"1.0","type":"link"}