top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui