Transactions on Aspect-Oriented Software Development XII
Buch in deiner Nähe kaufen
Beschreibung
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 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.
Contains improved, extended versions of the best four papers presented at Modularity 2014 Provides an interesting snapshot of state-of-the-art research on modularity In the first paper, the authors describe their new language, ContractAJ, for the description of contracts for modular reasoning Includes supplementary material: sn.pub/extras
Autor*in
Shigeru Chiba
Themen in »Transactions on Aspect-Oriented Software Development XII«
Funcons abstraction agglomerative hierarchical clustering algorithm co-change clusters co-change graphs component-based semantics fundamental constructs model-checking modeling modular SOS modularity reusability runtime verification software architectures software changes