| 书目名称 | Formal Aspects of Component Software |
| 副标题 | 7th International Wo |
| 编辑 | Luís Soares Barbosa,Markus Lumpe |
| 视频video | http://file.papertrans.cn/346/345663/345663.mp4 |
| 概述 | Up-to-date results.Fast-track conference proceedings.State-of-the-art research |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. |
| 出版日期 | Conference proceedings 2012 |
| 关键词 | aspect-oriented modeling; constraint automata ^; graph transformation; object orientation; run-time ver |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-27269-1 |
| isbn_softcover | 978-3-642-27268-4 |
| isbn_ebook | 978-3-642-27269-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag GmbH Berlin Heidelberg 2012 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-11 20:44
发表于 2025-3-21 16:07:43
