| 000 | 03546nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | vtls000561821 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922090704.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170213s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783662467343 _9978-3-662-46734-3 |
||
| 024 | 7 |
_a10.1007/978-3-662-46734-3 _2doi |
|
| 035 | _ato000561821 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aTransactions on Aspect-Oriented Software Development XII _helectronic resource _cedited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld. |
| 260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2015. |
||
| 300 |
_aIX, 221 p. 59 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8989 |
|
| 505 | 0 | _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. | |
| 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 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. | ||
| 650 | 0 |
_aComputer Science. _9155490 |
|
| 650 | 0 |
_aComputer programming. _9439171 |
|
| 650 | 0 |
_aSoftware engineering. _9566225 |
|
| 650 | 0 |
_aProgramming languages (Electronic computers). _9459680 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _9303287 |
| 650 | 2 | 4 |
_aProgramming Techniques. _9566312 |
| 700 | 1 |
_aChiba, Shigeru. _eeditor. _9416764 |
|
| 700 | 1 |
_aTanter, Éric. _eeditor. _9331161 |
|
| 700 | 1 |
_aErnst, Erik. _eeditor. _9329536 |
|
| 700 | 1 |
_aHirschfeld, Robert. _eeditor. _9333447 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-662-46734-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c416740 | ||