Cantitate/Preț
Produs

Transactions on Aspect-Oriented Software Development XI: Lecture Notes in Computer Science, cartea 8400

Editat de Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle
en Limba Engleză Paperback – 8 mai 2014
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32538 lei

Preț vechi: 40673 lei
-20% Nou

Puncte Express: 488

Preț estimativ în valută:
6227 6468$ 5173£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642550980
ISBN-10: 3642550983
Pagini: 280
Ilustrații: XIV, 263 p. 78 illus.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.41 kg
Ediția:2014
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Transactions on Aspect-Oriented Software Development

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Caracteristici

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