| 书目名称 | Coordination Languages and Models |
| 副标题 | 4th International Co |
| 编辑 | António Porto,Gruia-Catalin Roman |
| 视频video | http://file.papertrans.cn/239/238052/238052.mp4 |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by ch |
| 出版日期 | Conference proceedings 2000 |
| 关键词 | Constraint Satisfaction; Coordination; Coordination Models; Coordination languages; Global System Analys |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-45263-X |
| isbn_softcover | 978-3-540-41020-1 |
| isbn_ebook | 978-3-540-45263-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2000 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-23 17:18
发表于 2025-3-21 17:18:22
