• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      Ernst Denert Award for Software Engineering 2022

      Practice Meets Foundations

      AvEric Bodden,Michael Felderer

      Häftad, Engelska, 2024

      457 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice.The book contains five papers that describe the works by Jannik Fischbach (Netlight Consulting GmbH and fortiss GmbH), who won the award, entitled Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction, Christian Kirchhof's (RWTH Aachen University) From Design to Reality: An Overview of the MontiThings Ecosystem for Model-Driven IoT Applications, Sven Peldszus's (Ruhr University Bochum) research about Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants, Florian Rademacher's (RWTH Aachen University) work on Model-Driven Engineering of Microservice Architectures, and Alexander Trautsch's (University of Passau) Usefulness of Automatic Static Analysis Tools: Evidence from Four Case Studies.The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.

      Produktinformation

      • Utgivningsdatum:2024-04-28
      • Mått:155 x 235 x 11 mm
      • Vikt:289 g
      • Format:Häftad
      • Språk:Engelska
      • Antal sidor:176
      • Upplaga:2024
      • Förlag:Springer International Publishing AG
      • ISBN:9783031444142

      Utforska kategorier

      • Programvaruutveckling inom Data och IT

      Mer om författaren

      The editors consist of the scientific jury responsible for the selection of the nominees and the winner of the Ernst Denert Award for Software Engineering 2020. The book is edited in commitment by the Austrian, German and Suisse societies for informatics (GI, OCG, SI).

      Innehållsförteckning

      • 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.
      Hoppa över listan

      Du kanske också är intresserad av

      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, Inbunden

      Ernst Denert Award for Software Engineering 2022

      Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer

      Inbunden, 2024

      569 kr

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer - Ernst Denert Award for Software Engineering 2020, Häftad

      Ernst Denert Award for Software Engineering 2020

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer

      Häftad, 2022

      457 kr

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek - Ernst Denert Award for Software Engineering 2019, Häftad

      Ernst Denert Award for Software Engineering 2019

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek

      Häftad, 2021

      457 kr

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer - Ernst Denert Award for Software Engineering 2020, Inbunden

      Ernst Denert Award for Software Engineering 2020

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer

      Inbunden, 2022

      569 kr

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer - Ernst Denert Award for Software Engineering 2019, Inbunden

      Ernst Denert Award for Software Engineering 2019

      Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf Reussner, Bernhard Rumpe, Ina Schaefer

      Inbunden, 2020

      569 kr

      Paula Herber, Anton Wijs - Integrated Formal Methods, Häftad
      Del 14300

      Integrated Formal Methods

      Paula Herber, Anton Wijs

      Häftad, 2023

      1 356 kr

      Lutz Prechelt - Kontrollierte Experimente in der Softwaretechnik, Häftad

      Kontrollierte Experimente in der Softwaretechnik

      Lutz Prechelt

      Häftad, 2014

      514 kr

      Anton Wijs, Paula Herber - Integrated Formal Methods, E-bok

      Integrated Formal Methods

      Anton Wijs, Paula Herber

      E-bok
      2023

      1 780 kr

      Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin - Managed Software Evolution, Häftad

      Managed Software Evolution

      Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin

      Häftad, 2020

      569 kr

      Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, Klaus Krogmann - Modeling and Simulating Software Architectures, Inbunden

      Modeling and Simulating Software Architectures

      Ralf H. Reussner, Steffen Becker, Jens Happe, Robert Heinrich, Anne Koziolek, Heiko Koziolek, Max Kramer, Klaus Krogmann

      Inbunden, 2016

      672 kr