000 04235nam a22005895i 4500
001 978-3-642-55099-7
003 DE-He213
005 20240730201406.0
007 cr nn 008mamaa
008 140404s2014 gw | s |||| 0|eng d
020 _a9783642550997
_9978-3-642-55099-7
024 7 _a10.1007/978-3-642-55099-7
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aTransactions on Aspect-Oriented Software Development XI
_h[electronic resource] /
_cedited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle.
250 _a1st ed. 2014.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aXIV, 263 p. 78 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTransactions on Aspect-Oriented Software Development,
_x1864-3035 ;
_v8400
505 0 _aRun-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study -- Event Modules: Modularizing Domain-Specific Crosscutting RV Concerns -- Method Slots: Supporting Methods, Events and Advices by a Single Language Construct -- Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management -- Effective Aspects: A Typed Monadic Embedding of Point cuts and Advice -- Modular Specification and Checking of Structural Dependencies -- Towards Reactive Programming for Object-Oriented Applications.
520 _aThe 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 reactive programming.
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_9166977
700 1 _aChiba, Shigeru.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166978
700 1 _aTanter, Éric.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166979
700 1 _aBodden, Eric.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166980
700 1 _aMaoz, Shahar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166981
700 1 _aKienzle, Jörg.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9166982
710 2 _aSpringerLink (Online service)
_9166983
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642550980
776 0 8 _iPrinted edition:
_z9783642551000
830 0 _aTransactions on Aspect-Oriented Software Development,
_x1864-3035 ;
_v8400
_9166984
856 4 0 _uhttps://doi.org/10.1007/978-3-642-55099-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96504
_d96504