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.
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 | ||
| ||
Ernst Denert Award for Software Engineering 2022 : Practice Meets Foundations / / edited by Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer
| Ernst Denert Award for Software Engineering 2022 : Practice Meets Foundations / / edited by Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer |
| Autore | Bodden Eric |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (178 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
FeldererMichael
HasselbringWilhelm HerberPaula KoziolekHeiko LilienthalCarola MatthesFlorian PrecheltLutz RumpeBernhard SchaeferIna |
| Soggetto topico |
Software engineering
Software engineering - Management Software Engineering Software Management |
| ISBN | 3-031-44412-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Ernst Denert Software Engineering Award 2022 -- 2. Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction -- 3. From Design to Reality: An Overview of the MontiThings Ecosystem for Model-Driven IoT Applications -- 4. Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants (Summary) -- 5. Model-Driven Engineering of Microservice Architectures—The LEMMA Approach -- 6. Usefulness of Automatic Static Analysis Tools: Evidence from Four Case Studies. |
| Record Nr. | UNINA-9910845076203321 |
|
Bodden Eric
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures / / general chairs, Philippe Krucht ; program chairs, Ipek Ozkaya, Heiko Koziolek
| Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures / / general chairs, Philippe Krucht ; program chairs, Ipek Ozkaya, Heiko Koziolek |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 004.21 |
| Soggetto topico |
Software architecture - Quality control
System design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910136769203321 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures / / general chairs, Philippe Krucht ; program chairs, Ipek Ozkaya, Heiko Koziolek
| Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures / / general chairs, Philippe Krucht ; program chairs, Ipek Ozkaya, Heiko Koziolek |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 004.21 |
| Soggetto topico |
Software architecture - Quality control
System design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279885103316 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 1st International Workshop on Quality of Service-Oriented Software Systems
| Proceedings of the 1st International Workshop on Quality of Service-Oriented Software Systems |
| Autore | Koziolek Heiko |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (60 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | QUASOSS '09 |
| Record Nr. | UNINA-9910375807403321 |
|
Koziolek Heiko
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
| Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems |
| Autore | Becker Steffen |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (40 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Telecommunications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | QUASOSS '10 2nd International Workshop on the Quality of Service-Oriented Software Systems, Oslo, Norway - October 05 - 05, 2010 |
| Record Nr. | UNINA-9910376013303321 |
|
Becker Steffen
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||