Software technology : 10 years of innovation /: 10 years of innovation. (2017)

• Record Type: Book
• Further Information: Note: Mike Hinchey.
• Authors: Hinchey, Michael G (Michael Gerard), 1969-
• Editors: Hinchey, Mike
• Contents: Foreword Preface Acknowledgments List of Contributors Part 1: The Software Landscape Chapter 1: Software Crisis 2.0; Brian Fitzgerald Chapter 2: Simplicity as a Driver for Agile Innovation; Tiziana Margaria and Bernhard Steffen Chapter 3: Inter-Component Dependency Issues in Software Ecosystems; Maëlick Claes, Alexandre Decan, and Tom Mens Chapter 4: Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research/Practice Divide; Sarah Beecham, Ita Richardson, Ian Sommerville, Padraig O’Leary, Sean Baker, and John Noll Part 2: Autonomous Software Systems Chapter 5: Apoptotic Computing: Programmed Death by Default for Software Technologies; Roy Sterritt and Mike Hinchey Chapter 6: Requirements Engineering for Adaptive and Self-Adaptive Systems; Emil Vassev and Mike Hinchey Chapter 7: Toward Artificial Intelligence through Knowledge Representation for Awareness; Emil Vassev and Mike Hinchey Part 3: Software Development and Evolution Chapter 8: Continuous Model-Driven Engineering; Tiziana Margaria, Anna-Lena Lamprecht, and Bernhard Steffen Chapter 9: Rethinking Functional Requirements: A Novel Approach Categorizing System and Software Requirements; Manfred Broy Chapter 10: The Power of Ten – Rules for Developing Safety Critical Code; Gerard J. Holzmann Chapter 11: Seven Principles of Software Testing; Bertrand Meyer Chapter 12: Analyzing the Evolution of Database Usage in Data-Intensive Software Systems; Loup Meurice, Mathieu Goeminne, Tom Mens, Csaba Nagy, Alexandre Decan, and Anthony Cleve Part 4: Software Product Lines and Variability Chapter 13: Dynamic Software Product Lines; Sven Hallsteinsen, Mike Hinchey, Sooyong Park, and Klaus Schmid Chapter 14: Cutting-Edge Topics in Dynamic Software Variability; Rafael Capilla, Jan Bosch, and Mike Hinchey Part 5: Formal Methods Chapter 15: The Quest for Formal Methods in Software Product Line Engineering; Reiner Hähnle and Ina Schaefer Chapter 16: Formality, Agility, Security, and Evolution in Software Engineering; Jonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin Ward, and Hussein Zedan Part 6: Cloud Computing Chapter 17: Cloud Computing: An Exploration of Factors Impacting Adoption; Lorraine Morgan and Kieran Conboy Chapter 18: A Model-Centric Approach to the Design of Resource-Aware Cloud Applications; Reiner Hähnle and Einar Broch Johnsen Index
• Edition: 1st
• Publisher Details: Hoboken : Wiley-IEEE Press
• Publication Date: 2017
• Extent: 1 online resource
• Subjects: 005.1; Software engineering
• Languages: English
• ISBNs: 9781119174233
• Related ISBNs: 9781119174226
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.