| 书目名称 | Formal Methods for Components and Objects |
| 副标题 | First International |
| 编辑 | Frank S. Boer,Marcello M. Bonsangue,Willem-Paul Ro |
| 视频video | |
| 概述 | 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 |
发表于 2025-3-21 16:18:40
