Transactions on Aspect-Oriented Software Development XI / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle.

Format:

Book

Contributor:

Chiba, Shigeru, 1968- editor.

Tanter, Éric, editor.

Bodden, Eric, editor.

Maoz, Shahar, editor.

Kienzle, Jörg, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Transactions on Aspect-Oriented Software Development, 1864-3027 ; 8400.

Transactions on Aspect-Oriented Software Development, 1864-3027 ; 8400

Language:

English

Subjects (All):

Software engineering.

Programming languages (Electronic computers).

Computer programming.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Programming Techniques.

Local Subjects:

Software Engineering.

Programming Languages, Compilers, Interpreters.

Programming Techniques.

Physical Description:

1 online resource (XIV, 263 pages) : 78 illustrations.

Edition:

First edition 2014.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.

System Details:

text file PDF

Summary:

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, id est, 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.

Contents:

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

Other Format:

Printed edition:

ISBN:

978-3-642-55099-7

9783642550997

Access Restriction:

Restricted for use by site license.