| 书目名称 | Formal Methods for Open Object-based Distributed Systems |
| 副标题 | Volume 1 |
| 编辑 | Elie Najm,Jean-Bernard Stefani |
| 视频video | |
| 丛书名称 | IFIP Advances in Information and Communication Technology |
| 图书封面 |  |
| 描述 | Object-based Distributed Computing is being established as themost pertinent basis for the support of large, heterogeneous computingandtelecommunications systems. The advent of Open Object-basedDistributed Systems (OODS) brings new challenges and opportunitiesfor the use and development of formal methods. Formal Methods forOpen Object-based Distributed Systems presents the latest research inseveral related fields, and the exchange of ideas and experiences ina number of topics including: formal models for object-baseddistributed computing; semantics of object-based distributed systemsand programming languages; formal techniques in object-based andobject oriented specification, analysis and design; refinement andtransformation of specifications; multiple viewpoint modeling andconsistency between different models; formal techniques indistributed systems verification and testing; types, service typesand subtyping; specification, verification and testing of quality ofservice constraints and formal methods and the object life cycle. Itcontains the selected proceedings of the International Workshop onFormal Methods for Open Object-based Distributed Systems, sponsoredby the International F |
| 出版日期 | Book 1997 |
| 关键词 | communication; distributed computing; distributed systems; formal method; information; modeling; programmi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-387-35082-0 |
| isbn_ebook | 978-0-387-35082-0Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 1997 |
发表于 2025-3-21 18:54:22
