| 書目名稱 | Formal Methods for Open Object-Based Distributed Systems IV |
| 副標(biāo)題 | IFIP TC6/WG6.1. Four |
| 編輯 | Scott F. Smith,Carolyn L. Talcott |
| 視頻video | http://file.papertrans.cn/346/345806/345806.mp4 |
| 叢書名稱 | IFIP Advances in Information and Communication Technology |
| 圖書封面 |  |
| 描述 | .Formal Methods for Open Object-Based Distributed SystemsIV. presents the leading edge in the fields of object-orientedprogramming, open distributed systems, and formal methods forobject-oriented systems. With increased support within industryregarding these areas, this book captures the most up-to-dateinformation on the subject. .Papers in this volume focus on the following specific technologies:. . components; .. mobile code; ..Java?; .. The Unified Modeling Language (UML); ..refinement of specifications; .. types and subtyping; ..temporal and probabilistic systems. .. This volume comprises theproceedings of the Fourth International Workshop on Formal Methods forOpen Object-Based Distributed Systems (FMOODS 2000), which wassponsored by the International Federation for Information Processing(IFIP) and held in Stanford, California, USA, in September 2000. |
| 出版日期 | Conference proceedings 2000 |
| 關(guān)鍵詞 | CORBA; Inform; Java; Processing; Unified Modeling Language (UML); code; distributed systems; information; ob |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-387-35520-7 |
| isbn_softcover | 978-1-4757-1018-2 |
| isbn_ebook | 978-0-387-35520-7Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 2000 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 04:39
發(fā)表于 2025-3-21 19:22:57
