Cargando…

Transactions on Aspect-Oriented Software Development XI

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 th...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Chiba, Shigeru (Editor ), Tanter, Éric (Editor ), Bodden, Eric (Editor ), Maoz, Shahar (Editor ), Kienzle, Jörg (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Transactions on Aspect-Oriented Software Development, 8400
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-55099-7
003 DE-He213
005 20220115085126.0
007 cr nn 008mamaa
008 140404s2014 gw | s |||| 0|eng d
020 |a 9783642550997  |9 978-3-642-55099-7 
024 7 |a 10.1007/978-3-642-55099-7  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Transactions on Aspect-Oriented Software Development XI  |h [electronic resource] /  |c edited by Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle. 
250 |a 1st ed. 2014. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2014. 
300 |a XIV, 263 p. 78 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Transactions on Aspect-Oriented Software Development,  |x 1864-3035 ;  |v 8400 
505 0 |a 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. 
520 |a 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. 
650 0 |a Software engineering. 
650 0 |a Compilers (Computer programs). 
650 0 |a Computer programming. 
650 1 4 |a Software Engineering. 
650 2 4 |a Compilers and Interpreters. 
650 2 4 |a Programming Techniques. 
700 1 |a Chiba, Shigeru.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Tanter, Éric.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Bodden, Eric.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Maoz, Shahar.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Kienzle, Jörg.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642551000 
776 0 8 |i Printed edition:  |z 9783642550980 
830 0 |a Transactions on Aspect-Oriented Software Development,  |x 1864-3035 ;  |v 8400 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-55099-7  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)