LEADER 04309nam  22007095  450 
001 996200342203316
005 20200704033220.0
010   $a3-662-46734-8
024 7 $a10.1007/978-3-662-46734-3
035   $a(CKB)3710000000379747
035   $a(SSID)ssj0001465764
035   $a(PQKBManifestationID)11892117
035   $a(PQKBTitleCode)TC0001465764
035   $a(PQKBWorkID)11486920
035   $a(PQKB)11114458
035   $a(DE-He213)978-3-662-46734-3
035   $a(MiAaPQ)EBC6283318
035   $a(MiAaPQ)EBC5577451
035   $a(Au-PeEL)EBL5577451
035   $a(OCoLC)905496350
035   $a(PPN)184895138
035   $a(EXLCZ)993710000000379747
100   $a20150319d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTransactions on Aspect-Oriented Software Development XII$b[electronic resource] /$fedited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld
205   $a1st ed. 2015.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2015.
215   $a1 online resource (IX, 221 p. 59 illus.) 
225 1 $aTransactions on Aspect-Oriented Software Development,$x1864-3027 ;$v8989
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-662-46733-X 
327   $aModular Reasoning in Aspect-Oriented Languages from a Substitution Perspective -- Propagation of Behavioral Variations with Delegation Proxies -- Co-change Clusters: Extraction and Application on Assessing Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for Feature-Oriented Systems.
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 12th in the Transactions on Aspect-Oriented Software Development series, contains one regular paper, on modular reasoning in aspect-oriented languages from a substitution perspective, and four extended, improved papers selected from those presented at Modularity 2014. Topics covered include novel dynamic semantics through delegation proxies, modularity potential detection based on co-change clusters, improvements in reusability for components of semantic specifications of programming languages, and probabilistic model checking applied to dynamically generated members of a product line.
410  0$aTransactions on Aspect-Oriented Software Development,$x1864-3027 ;$v8989
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   $aErnst$b Erik$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHirschfeld$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996200342203316
996   $aTransactions on Aspect-Oriented Software Development XII$92831970
997   $aUNISA