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.
Software Composition [[electronic resource] ] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe
| Software Composition [[electronic resource] ] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 145 p. 38 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-39614-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Componentised Language Development for the JVM -- Preserving Confidentiality in Component Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches -- Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification -- Implementing Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice -- Verifying Data Independent Programs Using Game Semantics. . |
| Record Nr. | UNISA-996465534803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Composition [[electronic resource] ] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe
| Software Composition [[electronic resource] ] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 145 p. 38 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-39614-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Componentised Language Development for the JVM -- Preserving Confidentiality in Component Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches -- Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification -- Implementing Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice -- Verifying Data Independent Programs Using Game Semantics. . |
| Record Nr. | UNINA-9910483711703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Composition [[electronic resource] ] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / / edited by Welf Löwe, Mario Südholt
| Software Composition [[electronic resource] ] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / / edited by Welf Löwe, Mario Südholt |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 342 p.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-37659-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automatic Checking of Component Protocols in Component-Based Systems -- Checking Component Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation -- An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components -- Aspects of Composition in the Reflex AOP Kernel -- A Component-Based Approach to Compose Transaction Standards -- A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties -- Tracechecks: Defining Semantic Interfaces with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming Environments with Model Transformations -- General Composition of Software Artifacts -- Dimensions of Composition Models for Supporting Software Evolution -- Context-Aware Aspects -- Understanding Design Patterns Density with Aspects -- A Model for Developing Component-Based and Aspect-Oriented Systems -- FROGi: Fractal Components Deployment over OSGi -- Modular Design of Man-Machine Interfaces with Larissa -- On the Integration of Classboxes into C# -- Automatic Control Flow Generation from Software Architectures. |
| Record Nr. | UNISA-996465604703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Composition [[electronic resource] ] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / / edited by Welf Löwe, Mario Südholt
| Software Composition [[electronic resource] ] : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers / / edited by Welf Löwe, Mario Südholt |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 342 p.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-37659-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automatic Checking of Component Protocols in Component-Based Systems -- Checking Component Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation -- An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components -- Aspects of Composition in the Reflex AOP Kernel -- A Component-Based Approach to Compose Transaction Standards -- A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties -- Tracechecks: Defining Semantic Interfaces with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming Environments with Model Transformations -- General Composition of Software Artifacts -- Dimensions of Composition Models for Supporting Software Evolution -- Context-Aware Aspects -- Understanding Design Patterns Density with Aspects -- A Model for Developing Component-Based and Aspect-Oriented Systems -- FROGi: Fractal Components Deployment over OSGi -- Modular Design of Man-Machine Interfaces with Larissa -- On the Integration of Classboxes into C# -- Automatic Control Flow Generation from Software Architectures. |
| Record Nr. | UNINA-9910484607603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Third European Conference on Web Services : proceedings : Växjö, Sweden : November 14-16, 2005
| Third European Conference on Web Services : proceedings : Växjö, Sweden : November 14-16, 2005 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2005 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5386-0159-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218408703316 |
| [Place of publication not identified], : IEEE Computer Society, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Third European Conference on Web Services : proceedings : Växjö, Sweden : November 14-16, 2005
| Third European Conference on Web Services : proceedings : Växjö, Sweden : November 14-16, 2005 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2005 |
| Soggetto topico |
Web services
World Wide Web Web databases Telecommunications Electrical & Computer Engineering Engineering & Applied Sciences |
| ISBN | 1-5386-0159-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145455803321 |
| [Place of publication not identified], : IEEE Computer Society, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||