Transactions on Aspect-Oriented Software Development

Transactions on Aspect-Oriented Software Development XI

Editors: Chiba, S., Tanter, É., Bodden, E., Maoz, S., Kienzle, J. (Eds.)

  • Contains seven in-depth papers on runtime verification and on modularity and AOSD
  • Includes revised, extended versions of papers presented at Modularity:aosd 2013
  • Covers a wide range of modularity topics ranging from formal methods and type systems to event-driven programming and reactive programming
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-55099-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-55098-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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

Table of contents (7 chapters)

  • Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study

    Boer, Frank S. (et al.)

    Pages 1-26

  • Event Modules

    Malakuti, Somayeh (et al.)

    Pages 27-69

  • Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct

    Zhuang, YungYu (et al.)

    Pages 70-108

  • Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management

    Nguyen, Phu H. (et al.)

    Pages 109-144

  • Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

    Figueroa, Ismael (et al.)

    Pages 145-192

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-55099-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-55098-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Transactions on Aspect-Oriented Software Development XI
Editors
  • Shigeru Chiba
  • Éric Tanter
  • Eric Bodden
  • Shahar Maoz
  • Jörg Kienzle
Series Title
Transactions on Aspect-Oriented Software Development
Series Volume
8400
Copyright
2014
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-55099-7
DOI
10.1007/978-3-642-55099-7
Softcover ISBN
978-3-642-55098-0
Series ISSN
1864-3027
Edition Number
1
Number of Pages
XIV, 263
Number of Illustrations and Tables
78 b/w illustrations
Topics