|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Shigeru Chiba , Éric Tanter , Eric Bodden , Shahar MaozPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2014 ed. Volume: 8400 Dimensions: Width: 15.50cm , Height: 1.50cm , Length: 23.50cm Weight: 4.277kg ISBN: 9783642550980ISBN 10: 3642550983 Pages: 263 Publication Date: 08 May 2014 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of ContentsRun-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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |