| 書目名稱 | Formal Methods for Open Object-based Distributed Systems |
| 副標(biāo)題 | Volume 1 |
| 編輯 | Elie Najm,Jean-Bernard Stefani |
| 視頻video | http://file.papertrans.cn/346/345809/345809.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 01:26
發(fā)表于 2025-3-21 18:54:22
