Verlag: Heinz Nidorf Institut, 2018
Sprache: Deutsch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Softcover-Großformat. Zustand: 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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 76,41
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 154 pages. 9.00x6.10x0.40 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2017
ISBN 10: 3319621041 ISBN 13: 9783319621043
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,93
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 231 pages. 9.00x6.25x0.75 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2014
ISBN 10: 3642550983 ISBN 13: 9783642550980
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,48
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 250 pages. 9.20x6.10x0.63 inches. In Stock.
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031444116 ISBN 13: 9783031444111
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 85,50
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 181 pages. 9.25x6.10x0.50 inches. In Stock.
Verlag: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031444140 ISBN 13: 9783031444142
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 331930805X ISBN 13: 9783319308050
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,34
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 280 pages. 9.25x6.10x0.64 inches. In Stock.
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031444140 ISBN 13: 9783031444142
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Nature Switzerland, Springer Nature Switzerland Mär 2024, 2024
ISBN 10: 3031444116 ISBN 13: 9783031444111
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10: 3642396135 ISBN 13: 9783642396137
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing Mär 2016, 2016
ISBN 10: 331930805X ISBN 13: 9783319308050
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -The goal of this symposium, isto bring together researchers and practitioners to advance the statesof the art and practice in secure software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing Jun 2017, 2017
ISBN 10: 3319621041 ISBN 13: 9783319621043
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
Verlag: Springer Berlin Heidelberg, 2014
ISBN 10: 3642550983 ISBN 13: 9783642550980
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642396135 ISBN 13: 9783642396137
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319621041 ISBN 13: 9783319621043
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 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.
Verlag: Springer International Publishing, 2016
ISBN 10: 331930805X ISBN 13: 9783319308050
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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).
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 3031444116 ISBN 13: 9783031444111
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Software Composition | 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings | Walter Binder (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer-Verlag GmbH | EAN 9783642396137 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319621041 ISBN 13: 9783319621043
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Engineering Secure Software and Systems | 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings | Eric Bodden (u. a.) | Taschenbuch | x | Englisch | 2017 | Springer International Publishing | EAN 9783319621043 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer International Publishing, 2016
ISBN 10: 331930805X ISBN 13: 9783319308050
Sprache: Englisch
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Engineering Secure Software and Systems | 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings | Juan Caballero (u. a.) | Taschenbuch | x | Englisch | 2016 | Springer International Publishing | EAN 9783319308050 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642396135 ISBN 13: 9783642396137
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Berlin Heidelberg, 2014
ISBN 10: 3642550983 ISBN 13: 9783642550980
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Verlag: Nixdorf Institut, 2017, 2017
Anbieter: Versandantiquariat Kerzemichel, Wittenberge, Deutschland
noch eingschweißt.
Verlag: Universität Paderborn Heinz Nixdorf Institut, 2017
ISBN 10: 3942647885 ISBN 13: 9783942647885
Sprache: Deutsch
Anbieter: Antiquariat Ehbrecht - Preis inkl. MwSt., Ilsede, Deutschland
Zustand: Wie neu. 8°, ca. 450 Seiten, farbig betitelter OPbd. - Verlagsfrisch verschweißt! Wie neu - 2017. (VV) ISBN: 9783942647885 Sprache: Deutsch Gewicht in Gramm: 990.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Deutsch | Produktart: Bücher.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher.