| 书目名称 | Formal Methods for Open Object-Based Distributed Systems IV |
| 副标题 | IFIP TC6/WG6.1. Four |
| 编辑 | Scott F. Smith,Carolyn L. Talcott |
| 视频video | |
| 丛书名称 | 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 |
| 关键词 | 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 |
发表于 2025-3-21 19:22:57
