| 書目名稱 | Transactions on Aspect-Oriented Software Development XI | | 編輯 | Shigeru Chiba,éric Tanter,J?rg Kienzle | | 視頻video | http://file.papertrans.cn/928/927771/927771.mp4 | | 概述 | Contains seven in-depth papers on runtime verification and on modularity and AOSD.Includes revised, extended versions of papers presented at Modularity:aosd 2013.Covers a wide range of modularity topi | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 11th in the Transactions on Aspect-Oriented Software Development series, consists of two parts. The first part focuses on runtime verification and analysis, highlighting runtime verification as a "killer" application of aspect-orientation. The second part contains revised and extended versions of the five best papers submitted to Modularity:aosd 2013, presenting current research related to modularity and covering topics such as formal methods and type systems, static analysis approaches for software architectures, model-driven engineering and model composition, aspect-oriented programming, event-driven programming and reac | | 出版日期 | Book 2014 | | 關(guān)鍵詞 | AOSD; abstraction; aspect-oriented software development; formal methods; model-driven software developme | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-55099-7 | | isbn_softcover | 978-3-642-55098-0 | | isbn_ebook | 978-3-642-55099-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2014 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 20:47
發(fā)表于 2025-3-21 17:42:32
