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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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 |
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 Enginyeria de programari Premis |
Soggetto genere / forma | Llibres electrònics |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Executable Software Models [[electronic resource] ] : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (VIII, 343 p. 101 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Theory of Computation |
ISBN | 3-319-07317-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996217782503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (VIII, 343 p. 101 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computers Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Theory of Computation |
ISBN | 3-319-07317-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484268203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamental Approaches to Software Engineering [[electronic resource] ] : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Alexander Egyed, Ina Schaefer |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 363 p. 101 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-662-46675-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent Persistence for Very Large Models -- Composing Message Translators and Inferring Their Data Types Using Tree Automata -- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications -- Testing and Fault Localization -- BPEL Integration Testing -- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines -- Just Test What You Cannot Verify! -- Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme -- Modeling -- A Generalized Formal Framework for Partial Modeling -- Performance-Based Software Model Refactoring in Fuzzy Contexts -- Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin -- Verification -- Translation Validation for Clock Transformations in a Synchronous Compiler -- Symbolic Detection of Assertion Dependencies for Bounded Model Checking -- Verification of Loop -- Parallelisations -- Model-Based Formal Reasoning about Data-Management Applications -- Modeling and Adaptation -- Self-adaptive Software with Decentralised Control Loops -- Model-Based Adaptation of Software Communicating via FIFO Buffers -- Lazy TSO Reachability -- A Variability-Based Approach to Reusable and Efficient Model Transformations -- Applications -- Exploring Scenario Exploration -- Data-Oriented Characterization of Application-Level Energy Optimization -- Resource Specification for Prototyping Human-Intensive Systems -- The Prophecy of Undo. |
Record Nr. | UNISA-996200342603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / / edited by Alexander Egyed, Ina Schaefer |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 363 p. 101 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-662-46675-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent Persistence for Very Large Models -- Composing Message Translators and Inferring Their Data Types Using Tree Automata -- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications -- Testing and Fault Localization -- BPEL Integration Testing -- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines -- Just Test What You Cannot Verify! -- Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme -- Modeling -- A Generalized Formal Framework for Partial Modeling -- Performance-Based Software Model Refactoring in Fuzzy Contexts -- Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin -- Verification -- Translation Validation for Clock Transformations in a Synchronous Compiler -- Symbolic Detection of Assertion Dependencies for Bounded Model Checking -- Verification of Loop -- Parallelisations -- Model-Based Formal Reasoning about Data-Management Applications -- Modeling and Adaptation -- Self-adaptive Software with Decentralised Control Loops -- Model-Based Adaptation of Software Communicating via FIFO Buffers -- Lazy TSO Reachability -- A Variability-Based Approach to Reusable and Efficient Model Transformations -- Applications -- Exploring Scenario Exploration -- Data-Oriented Characterization of Application-Level Energy Optimization -- Resource Specification for Prototyping Human-Intensive Systems -- The Prophecy of Undo. |
Record Nr. | UNINA-9910484566403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
GPCE '16 : proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : October 31-November 1, 2016, Amsterdam, Netherlands / / edited by Bernd Fischer and Ina Schaefer ; sponsored by ACM SIGPLAN |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (212 pages) |
Disciplina | 005.11 |
Soggetto topico |
Generative programming (Computer science)
Software engineering |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Generative Programming: Concepts and Experiences 2016 : proceedings of the 2016 Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Generative Programming: Concepts and Experiences : October 31-November 1, 2016, Amsterdam, Netherlands
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Proceedings of the 2016 Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Generative Programming: Concepts and Experiences GPCE '16 : Generative Programming: Concepts and Experiences : Amsterdam, Netherlands, October 31-November 01, 2016 |
Record Nr. | UNINA-9910376438403321 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|