Overview
- Shigeru Chiba
The University of Tokyo, Tokyo, Japan
You can also search for this editor inPubMed Google Scholar
- Éric Tanter
University of Chile, Santiago, Chile
You can also search for this editor inPubMed Google Scholar
- Eric Bodden
Technical University of Darmstadt, Darmstadt, Germany
You can also search for this editor inPubMed Google Scholar
- Shahar Maoz
Tel Aviv University, Tel Aviv, Israel
You can also search for this editor inPubMed Google Scholar
- Jörg Kienzle
McGill University, Montreal, Canada
You can also search for this editor inPubMed Google Scholar
- 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
Part of the book series:Lecture Notes in Computer Science (LNCS, volume 8400)
Part of the book sub series:Transactions on Aspect-Oriented Software Development (TAOSD)
This is a preview of subscription content,log in via an institution to check access.
Access this book
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (7 chapters)
Front Matter
Runtime Verification and Analysis
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
- Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn, Peter Y. H. Wong
Pages 1-26
Best Papers of AOSD 2013
Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct
- YungYu Zhuang, Shigeru Chiba
Pages 70-108Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management
- Phu H. Nguyen, Gregory Nain, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
Pages 109-144Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Pages 145-192Modular Specification and Checking of Structural Dependencies
- Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia
Pages 193-226Towards Reactive Programming for Object-Oriented Applications
- Guido Salvaneschi, Mira Mezini
Pages 227-261
Back Matter
Editors and Affiliations
The University of Tokyo, Tokyo, Japan
Shigeru Chiba
University of Chile, Santiago, Chile
Éric Tanter
Technical University of Darmstadt, Darmstadt, Germany
Eric Bodden
Tel Aviv University, Tel Aviv, Israel
Shahar Maoz
McGill University, Montreal, Canada
Jörg Kienzle
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:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/978-3-642-55099-7
Publisher:Springer Berlin, Heidelberg
eBook Packages:Computer Science,Computer Science (R0)
Copyright Information:Springer-Verlag Berlin Heidelberg 2014
Softcover ISBN:978-3-642-55098-0Published: 08 May 2014
eBook ISBN:978-3-642-55099-7Published: 04 April 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:XIV, 263
Number of Illustrations:78 b/w illustrations
Topics:Software Engineering,Programming Languages, Compilers, Interpreters,Programming Techniques