Transactions on Aspect-Oriented Software Development XI [[electronic resource] /] / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 263 p. 78 illus.) |
Disciplina | 005.1 |
Collana | Transactions on Aspect-Oriented Software Development |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-642-55099-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996203612003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Transactions on Aspect-Oriented Software Development XI / / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 263 p. 78 illus.) |
Disciplina | 005.1 |
Collana | Transactions on Aspect-Oriented Software Development |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
ISBN | 3-642-55099-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910484375103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|