Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Transactions on Aspect-Oriented Software Development X [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter
| Transactions on Aspect-Oriented Software Development X [[electronic resource] /] / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 185 p. 76 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-36964-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability and Conflict Debugging for AspectLTL Programs -- Intraprocedural Dataflow Analysis for Software Product Lines -- Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors -- Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study. |
| Record Nr. | UNISA-996465600903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Aspect-Oriented Software Development X / / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter
| Transactions on Aspect-Oriented Software Development X / / edited by Gary T. Leavens, Shigeru Chiba, Éric Tanter |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 185 p. 76 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-36964-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming -- Two-Way Traceability and Conflict Debugging for AspectLTL Programs -- Intraprocedural Dataflow Analysis for Software Product Lines -- Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors -- Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study. |
| Record Nr. | UNINA-9910484603603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Aspect-Oriented Software Development XI [[electronic resource] /] / edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle
| 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
| 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 | ||
| ||
Transactions on Aspect-Oriented Software Development XII [[electronic resource] /] / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld
| Transactions on Aspect-Oriented Software Development XII [[electronic resource] /] / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 221 p. 59 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-662-46734-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective -- Propagation of Behavioral Variations with Delegation Proxies -- Co-change Clusters: Extraction and Application on Assessing Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for Feature-Oriented Systems. |
| Record Nr. | UNISA-996200342203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Aspect-Oriented Software Development XII / / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld
| Transactions on Aspect-Oriented Software Development XII / / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 221 p. 59 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-662-46734-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective -- Propagation of Behavioral Variations with Delegation Proxies -- Co-change Clusters: Extraction and Application on Assessing Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for Feature-Oriented Systems. |
| Record Nr. | UNINA-9910483846903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||