Blick ins Buch

Transactions on Aspect-Oriented Software Development XII

Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld (Herausgeber)

Buch | Softcover

IX, 221 Seiten

2015 | 2015
Springer Berlin (Verlag)
978-3-662-46733-6 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)
Blick ins Buch (midvox)

Artikel merken

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.

Modular 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.

Erscheint lt. Verlag	30.3.2015
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Transactions on Aspect-Oriented Software Development
Zusatzinfo	IX, 221 p. 59 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	375 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	Abstraction • agglomerative hierarchical clustering algorithm • co-change clusters • co-change graphs • component-based semantics • Funcons • fundamental constructs • Model-Checking • Modeling • Modularity • modular SOS • Objektorientierte Programmierung • Reusability • runtime verification • Software Architectures • software changes • software development • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • software system structures • Type Systems • version control systems
ISBN-10	3-662-46733-X / 366246733X
ISBN-13	978-3-662-46733-6 / 9783662467336
Zustand	Neuware