| 書目名稱 | Formal Aspects of Component Software |
| 副標(biāo)題 | 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 |
| 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 07:47
發(fā)表于 2025-3-21 16:07:43
