| 書目名稱 | Formal Methods for Open Object-Based Distributed Systems |
| 副標題 | IFIP TC6 / WG6.1 Thi |
| 編輯 | Paolo Ciancarini,Alessandro Fantechi,Robert Gorrie |
| 視頻video | http://file.papertrans.cn/346/345804/345804.mp4 |
| 叢書名稱 | IFIP Advances in Information and Communication Technology |
| 圖書封面 |  |
| 描述 | .Formal Methods for Open Object-Based Distributed Systems.presents the leading edge in several related fields, specificallyobject-orientated programming, open distributed systems and formalmethods for object-oriented systems. With increased support withinindustry regarding these areas, this book captures the most up-to-dateinformation on the subject. .Many topics are discussed, including the following important areas:object-oriented design and programming; formal specification ofdistributed systems; open distributed platforms; types, interfaces andbehaviour; formalisation of object-oriented methods. .This volume comprises the proceedings of the International Workshop onFormal Methods for Open Object-based Distributed Systems (FMOODS),sponsored by the International Federation for Information Processing(IFIP) which was held in Florence, Italy, in February 1999. ..Formal Methods for Open Object-Based Distributed Systems. issuitable as a secondary text for graduate-level courses in computerscience and telecommunications, and as a reference for researchers andpractitioners in industry, commerce and government. |
| 出版日期 | Conference proceedings 1999 |
| 關鍵詞 | CORBA; Inform; Java; Processing; QoS; Unified Modeling Language (UML); communication; configuration; distrib |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-387-35562-7 |
| isbn_softcover | 978-1-4757-5266-3 |
| isbn_ebook | 978-0-387-35562-7Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 1999 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 04:49
發(fā)表于 2025-3-21 18:14:43
