A comprehensive collection of influential articles from one of IEEE Computer magazine s most popular columns This book is a compendium of extended and revised publications that have appeared in the Software Technologies column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.

A comprehensive collection of influential articles from one of IEEE Computer magazine's most popular columnsThis book is a compendium of extended and revised publications that have appeared in the "Software Technologies" column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field.Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book:* Introduces the software landscape and challenges associated with emerging technologies* Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security* Contains rewritten and updated articles by leaders in the software industry* Covers both theoretical and practical topicsInformative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.

ForewordPrefaceAcknowledgmentsList of ContributorsPart 1: The Software LandscapeChapter 1: Software Crisis 2.0Brian FitzgeraldChapter 2: Simplicity as a Driver for Agile InnovationTiziana Margaria and Bernhard SteffenChapter 3: Inter-Component Dependency Issues in Software EcosystemsMaëlick Claes, Alexandre Decan, and Tom MensChapter 4: Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research/Practice DivideSarah Beecham, Ita Richardson, Ian Sommerville, Padraig O'Leary, Sean Baker, and John NollPart 2: Autonomous Software SystemsChapter 5: Apoptotic Computing: Programmed Death by Default for Software TechnologiesRoy Sterritt and Mike HincheyChapter 6: Requirements Engineering for Adaptive and Self-Adaptive SystemsEmil Vassev and Mike HincheyChapter 7: Toward Artificial Intelligence through Knowledge Representation for AwarenessEmil Vassev and Mike HincheyPart 3: Software Development and EvolutionChapter 8: Continuous Model-Driven EngineeringTiziana Margaria, Anna-Lena Lamprecht, and Bernhard SteffenChapter 9: Rethinking Functional Requirements: A Novel Approach Categorizing System and Software RequirementsManfred BroyChapter 10: The Power of Ten - Rules for Developing Safety Critical CodeGerard J. HolzmannChapter 11: Seven Principles of Software TestingBertrand MeyerChapter 12: Analyzing the Evolution of Database Usage in Data-Intensive Software SystemsLoup Meurice, Mathieu Goeminne, Tom Mens, Csaba Nagy, Alexandre Decan, and Anthony ClevePart 4: Software Product Lines and VariabilityChapter 13: Dynamic Software Product LinesSven Hallsteinsen, Mike Hinchey, Sooyong Park, and Klaus SchmidChapter 14: Cutting-Edge Topics in Dynamic Software VariabilityRafael Capilla, Jan Bosch, and Mike HincheyPart 5: Formal MethodsChapter 15: The Quest for Formal Methods in Software Product Line EngineeringReiner Hähnle and Ina SchaeferChapter 16: Formality, Agility, Security, and Evolution in Software EngineeringJonathan P. Bowen, Mike Hinchey, Helge Janicke, Martin Ward, and Hussein ZedanPart 6: Cloud ComputingChapter 17: Cloud Computing: An Exploration of Factors Impacting AdoptionLorraine Morgan and Kieran ConboyChapter 18: A Model-Centric Approach to the Design of Resource-Aware Cloud ApplicationsReiner Hähnle and Einar Broch JohnsenIndex