| 書目名稱 | Formal Methods for Components and Objects |
| 副標題 | First International |
| 編輯 | Frank S. Boer,Marcello M. Bonsangue,Willem-Paul Ro |
| 視頻video | http://file.papertrans.cn/346/345768/345768.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given |
| 出版日期 | Conference proceedings 2003 |
| 關鍵詞 | Java; LSC; Middleware; UML; Unified Modeling Language (UML); component systems; components; formal methods; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b14033 |
| isbn_softcover | 978-3-540-20303-2 |
| isbn_ebook | 978-3-540-39656-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2003 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-10 07:57
發(fā)表于 2025-3-21 16:18:40
