Eric bodden (85 résultats)

Etat : New.

Softcover-Großformat. Etat : Gut. 182 Seiten; Neben dem oben aufgeführten Aufsatz befinden sich auch weitere Beiträge auch anderer Autoren in dem Werk. Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Mehrsprachig. Sprache: Deutsch Gewicht in Gramm: 750.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Etat : New.

Etat : New.

Etat : New.

Etat : New.

Etat : New.

Etat : New. pp. 280.

Etat : As New. Unread book in perfect condition.

Etat : New. pp. 156.

Etat : As New. Unread book in perfect condition.

Etat : New. 2024th edition NO-PA16APR2015-KAP.

Etat : New. pp. 231.

Paperback. Etat : Brand New. 2013 edition. 154 pages. 9.00x6.10x0.40 inches. In Stock.

Paperback. Etat : Brand New. 231 pages. 9.00x6.25x0.75 inches. In Stock.

Paperback. Etat : Brand New. 2014 edition. 250 pages. 9.20x6.10x0.63 inches. In Stock.

Etat : New.

Hardcover. Etat : Brand New. 181 pages. 9.25x6.10x0.50 inches. In Stock.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 11th in the Transactions on Aspect-Oriented Software Development series, consists of two parts. The first part focuses on runtime verification and analysis, highlighting runtime verification as a 'killer' application of aspect-orientation. The second part contains revised and extended versions of the five best papers submitted to Modularity:aosd 2013, presenting current research related to modularity and covering topics such as formal methods and type systems, static analysis approaches for software architectures, model-driven engineering and model composition, aspect-oriented programming, event-driven programming and reactive programming.…

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, entitledConditional 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 aboutSecurity Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants, Florian Rademacher's (RWTH Aachen University) work onModel-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.…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions.The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.The presentations and associated publicationsat ESSoS 2016 contribute to this goal in several directions: First, by improvingmethodologies for secure software engineering (such as flow analysis and policycompliance). Second, with results for the detection and analysis of software vulnerabilitiesand the attacks they enable. Finally, for securing software for specificapplication domains (such as mobile devices and access control).…

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration.…

Taschenbuch. Etat : Neu. Ernst Denert Award for Software Engineering 2022 | Practice Meets Foundations | Eric Bodden (u. a.) | Taschenbuch | v | Englisch | 2024 | Springer Nature Switzerland | EAN 9783031444142 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…