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.
Models in Software Engineering [[electronic resource] ] : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers / / edited by Jörg Kienzle
| Models in Software Engineering [[electronic resource] ] : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers / / edited by Jörg Kienzle |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 292 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Electronic data processing—Management Computer simulation Application software Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming IT Operations Computer Modelling Computer and Information Systems Applications |
| ISBN | 3-642-29645-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465992903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
NEMARA'12 : proceedings of the 2012 Workshop on Next Generation Modularity Approaches for Requirements and Architecture : March 27, 2012, Potsdam, Germany
| NEMARA'12 : proceedings of the 2012 Workshop on Next Generation Modularity Approaches for Requirements and Architecture : March 27, 2012, Potsdam, Germany |
| Autore | Rashid Awais |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (24 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1127-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Next Generation Modularity Approaches for Requirements and Architecture'12 : proceedings of the 2012 Workshop on Next Generation Modularity Approaches for Requirements and Architecture : March 27, 2012, Potsdam, Germany
Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture |
| Record Nr. | UNINA-9910376137603321 |
Rashid Awais
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| 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 | ||
| ||