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.
Component-based software engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / / [edited by] Lars Grunske, Ralf Reussner, Frantisek Plasil
| Component-based software engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / / [edited by] Lars Grunske, Ralf Reussner, Frantisek Plasil |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 253 p. 78 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GrunskeLars
ReussnerRalf PlasilFrantisek |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Software engineering
Computer software - Development |
| ISBN |
1-280-38673-8
9786613564658 3-642-13238-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple Failure Modes -- Comparison of Component Frameworks for Real-Time Embedded Systems -- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between Abstract Models of Embedded Systems -- Component-Based Adaptive Systems -- Reliable Dynamic Reconfigurations in a Reflective Component Model -- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware -- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution -- Component Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case Study -- Automated Creation and Assessment of Component Adapters with Test Cases -- An Empirical Study of the Component Dependency Resolution Search Space -- Composition and (De)-composition of Component-Based Systems -- Component Composition Using Feature Models -- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces -- (Behavioural) Design Patterns as Composition Operators. |
| Altri titoli varianti | CBSE 2010 |
| Record Nr. | UNINA-9910484708803321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
| Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 351 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-540-87891-2 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component-Based Systems -- Towards Component-Based Design and Verification of a ?-Controller -- Run-Time Infrastructures -- ESCAPE: A Component-Based Policy Framework for Sense and React Applications -- Experiences from Developing a Component Technology Agnostic Adaptation Framework -- A Practical Approach for Finding Stale References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method for Identifying Business Components -- Life-Cycle Aware Modelling of Software Components -- A Component Selection Framework for COTS Libraries -- Opportunistic Reuse: Lessons from Scrapheap Software Development -- Component Models -- A Component Model for Control-Intensive Distributed Embedded Systems -- The CoSi Component Model: Reviving the Black-Box Nature of Components -- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. |
| Record Nr. | UNINA-9910483238503321 |
| Berlin : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
| Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 351 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-540-87891-2 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component-Based Systems -- Towards Component-Based Design and Verification of a ?-Controller -- Run-Time Infrastructures -- ESCAPE: A Component-Based Policy Framework for Sense and React Applications -- Experiences from Developing a Component Technology Agnostic Adaptation Framework -- A Practical Approach for Finding Stale References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method for Identifying Business Components -- Life-Cycle Aware Modelling of Software Components -- A Component Selection Framework for COTS Libraries -- Opportunistic Reuse: Lessons from Scrapheap Software Development -- Component Models -- A Component Model for Control-Intensive Distributed Embedded Systems -- The CoSi Component Model: Reviving the Black-Box Nature of Components -- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. |
| Record Nr. | UNISA-996466111603316 |
| Berlin : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependability metrics : advanced lectures / / Irene Eusgeld, Felix C. Freiling, Ralf Reussner (eds.)
| Dependability metrics : advanced lectures / / Irene Eusgeld, Felix C. Freiling, Ralf Reussner (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2008 |
| Descrizione fisica | 1 online resource (XI, 305 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
EusgeldIrene
FreilingFelix C ReussnerRalf |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico | Computer systems - Reliability |
| ISBN | 3-540-68947-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Dependability Metrics -- to Dependability Metrics -- I Foundations -- On Metrics and Measurements -- Validation of Predictions with Measurements -- Consistent Metric Usage: From Design to Deployment -- Basic and Dependent Metrics -- Goal, Question, Metric -- Quality of Service Modeling Language -- Markov Models -- II Reliability Metrics -- Hardware Reliability -- Software Reliability -- III Security Metrics -- to Security Metrics -- Cryptographic Attack Metrics -- Security Measurements and Metrics for Networks -- Industrial Approaches and Standards for Security Assessment -- Economic Security Metrics -- Human Factors -- IV Performance Metrics -- to Performance Metrics -- Performance-Related Metrics in the ISO 9126 Standard -- Analytical Performance Metrics -- Performance Metrics in Software Design Models -- Measuring Performance Metrics: Techniques and Tools -- Performance Metrics for Specific Domains -- V Overlapping Metrics -- to Overlapping Attributes -- Performability -- Reliability vs. Security: A Subjective Overview. |
| Record Nr. | UNINA-9910767553403321 |
| Berlin, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ernst Denert Award for Software Engineering 2019 [[electronic resource] ] : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2019 [[electronic resource] ] : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (V, 140 p. 58 illus., 6 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems |
| Soggetto non controllato |
Software Engineering
Software Management Management of Computing and Information Systems IT in Business IT Operations Software Development Requirements Engineering Software Modeling Software Research Open Access Ernst Denert Award Business mathematics & systems Business applications Information architecture Maintenance & repairs |
| ISBN | 3-030-58617-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. |
| Record Nr. | UNISA-996465445603316 |
Felderer Michael
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | 2020 |
| Descrizione fisica | 1 online resource (V, 140 p. 58 illus., 6 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Software engineering - Management Electronic data processing - Management Software Engineering Software Management IT Operations |
| ISBN | 3-030-58617-0 |
| Classificazione | BUS083000COM005000COM051230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. |
| Record Nr. | UNINA-9910427735603321 |
|
Felderer Michael
|
||
| 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ernst Denert Award for Software Engineering 2020 : practice meets foundations / / editors, Michael Felderer [et al.]
| Ernst Denert Award for Software Engineering 2020 : practice meets foundations / / editors, Michael Felderer [et al.] |
| Autore | Felderer Michael |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (290 pages) : illustrations (some color) |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm KoziolekHeiko MatthesFlorian PrecheltLutz ReussnerRalf RumpeBernhard SchaeferIna |
| Soggetto topico | Software engineering - Awards |
| Soggetto non controllato |
Software Engineering
Software Development Requirements Engineering Software Modeling Software Research Ernst Denert Award |
| ISBN | 3-030-83128-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464541703316 |
|
Felderer Michael
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations / / edited by Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer |
| Autore | Felderer Michael |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | 2022 |
| Descrizione fisica | 1 online resource (290 pages) : illustrations (some color) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm KoziolekHeiko MatthesFlorian PrecheltLutz ReussnerRalf RumpeBernhard SchaeferIna |
| Soggetto topico |
Software engineering
Business information services Electronic data processing - Management Software Engineering IT in Business IT Operations Enginyeria de programari Premis |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-83128-0 |
| Classificazione | BUS083000COM051230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ernst Denert Software Engineering Award 2020 -- Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020 -- What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style -- How to Effectively Reduce Failure Analysis Time? -- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics. |
| Record Nr. | UNINA-9910548276503321 |
|
Felderer Michael
|
||
| 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Managed Software Evolution [[electronic resource] /] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin
| Managed Software Evolution [[electronic resource] /] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin |
| Autore | Reussner Ralf |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2019 |
| Descrizione fisica | 1 online resource (XXII, 426 p. 160 illus., 79 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Management information systems Computer science Computers Software Engineering Software Management Management of Computing and Information Systems Theory of Computation |
| Soggetto non controllato |
Computer science
Software engineering Management information systems Computers |
| ISBN | 3-030-13499-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introducing Managed Software Evolution -- 2 The Nature of Software Evolution -- 3 Addressed Challenges -- 4 Introduction to Case Studies -- 5 Tacit Knowledge in Software Evolution -- 6 Continuous Design Decision Support -- 7 Model-based Round-Trip Engineering and Testing of Evolving Software Product Lines -- 8 Performance Analysis Strategies for Software Variants and Versions -- 9 Maintaining Security in Software Evolution -- 10 Learning from Evolution for Evolution -- 11 Formal Verication of Evolutionary Changes -- 12 Case Studies for the Community -- 13 Lessons Learned -- 14 Future Research. |
| Record Nr. | UNINA-9910337857603321 |
|
Reussner Ralf
|
||
| Cham, : Springer Nature, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 16th International Workshop on Component-Oriented Programming
| Proceedings of the 16th International Workshop on Component-Oriented Programming |
| Autore | Crnkovic Ivica |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (48 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0726-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | WCOP '11 |
| Record Nr. | UNINA-9910376524803321 |
|
Crnkovic Ivica
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
