LEADER 04573nam 22006495 450 001 996203612003316 005 20200702173326.0 010 $a3-642-55099-1 024 7 $a10.1007/978-3-642-55099-7 035 $a(CKB)3710000000106793 035 $a(DE-He213)978-3-642-55099-7 035 $a(SSID)ssj0001205102 035 $a(PQKBManifestationID)11719340 035 $a(PQKBTitleCode)TC0001205102 035 $a(PQKBWorkID)11181054 035 $a(PQKB)10010249 035 $a(MiAaPQ)EBC3096845 035 $a(PPN)178320455 035 $a(EXLCZ)993710000000106793 100 $a20140404d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTransactions on Aspect-Oriented Software Development XI$b[electronic resource] /$fedited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 263 p. 78 illus.) 225 1 $aTransactions on Aspect-Oriented Software Development,$x1864-3027 ;$v8400 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-55098-3 327 $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. 330 $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. 410 0$aTransactions on Aspect-Oriented Software Development,$x1864-3027 ;$v8400 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 676 $a005.1 702 $aChiba$b Shigeru$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTanter$b Éric$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBodden$b Eric$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaoz$b Shahar$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKienzle$b Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996203612003316 996 $aTransactions on Aspect-Oriented Software Development XI$92830007 997 $aUNISA