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 : 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 | ||
| ||
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 | Cham : , : Springer International Publishing : , : Imprint : Springer, , 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 |
| 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
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 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 | Cham : , : Springer International Publishing : , : Imprint : Springer, , 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 |
| ISBN | 3-030-83128-0 |
| 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
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 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 | ||
| ||
Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Steffen Becker, Frantisek Plasil, Ralf Reussner (editors)
| Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Steffen Becker, Frantisek Plasil, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 235 p.) |
| Disciplina | 005.10685 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Quality control |
| ISBN | 3-540-87879-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Rethinking the Use of Models in Software Architecture -- Architectural Design Decisions and Influence on Quality -- Design Reasoning Improves Software Design Quality -- A Tool to Visualize Architectural Design Decisions -- Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems -- Architecture and Components / Reasoning about Components -- Carmen: Software Component Model Checker -- MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service Compositions through Probabilistic Model Checking -- Models and Prediction -- Model-Driven Performance Analysis -- Architectural Specification and Static Analyses of Contractual Application Properties -- Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant -- Architecture Evaluation Processes -- Middleware Architecture Evaluation for Dependable Self-managing Systems -- Comprehensive Architecture Evaluation and Management in Large Software-Systems -- Sharing the Architectural Knowledge of Quantitative Analysis. |
| Record Nr. | UNISA-996465489303316 |
| Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Steffen Becker, Frantisek Plasil, Ralf Reussner (editors)
| Quality of software architectures : models and architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Steffen Becker, Frantisek Plasil, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (X, 235 p.) |
| Disciplina | 005.10685 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Quality control |
| ISBN | 3-540-87879-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Rethinking the Use of Models in Software Architecture -- Architectural Design Decisions and Influence on Quality -- Design Reasoning Improves Software Design Quality -- A Tool to Visualize Architectural Design Decisions -- Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems -- Architecture and Components / Reasoning about Components -- Carmen: Software Component Model Checker -- MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service Compositions through Probabilistic Model Checking -- Models and Prediction -- Model-Driven Performance Analysis -- Architectural Specification and Static Analyses of Contractual Application Properties -- Integrating Quality-Attribute Reasoning Frameworks in the ArchE Design Assistant -- Architecture Evaluation Processes -- Middleware Architecture Evaluation for Dependable Self-managing Systems -- Comprehensive Architecture Evaluation and Management in Large Software-Systems -- Sharing the Architectural Knowledge of Quantitative Analysis. |
| Record Nr. | UNINA-9910484670403321 |
| Berlin ; ; Heidelberg : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
