LEADER 04331nam 22004931 450 001 9910841410003321 005 20240219170344.0 010 $a1-119-17423-6 010 $a1-119-17422-8 010 $a1-119-17424-4 024 7 $a10.1002/9781119174240 035 $a(CKB)4330000000009089 035 $a(MiAaPQ)EBC5450418 035 $a(CaBNVSL)mat08470994 035 $a(IDAMS)0b000064886a1c9c 035 $a(IEEE)8470994 035 $a(PPN)250294826 035 $a(EXLCZ)994330000000009089 100 $a20181026d2018 uy 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware technology $e10 years of innovation in IEEE Computer /$fedited by Mike Hinchey 205 $aFirst edition. 210 1$aHoboken, New Jersey :$cIEEE Computer Society, Inc.,$d2018. 210 2$a[Piscataqay, New Jersey] :$cIEEE Xplore,$d[2018] 215 $a1 online resource (373 pages) 311 $a1-119-17421-X 320 $aIncludes bibliographical references and index. 327 $aPart 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 / Malick 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 Hhnle 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 Hhnle and Einar Broch Johnsen . 330 $aSales handles: - 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 - Written by leaders in the software industry - Articles cover both theoretical and practical topics Market description: Primary Audience: Researchers and Practitioners Secondary Audience: Graduate Students--$cProvided by publisher. 606 $aSoftware engineering$xHistory 615 0$aSoftware engineering$xHistory. 676 $a005.1 702 $aHinchey$b Michael G$g(Michael Gerard),$f1969- 801 0$bCaBNVSL 801 1$bCaBNVSL 801 2$bCaBNVSL 906 $aBOOK 912 $a9910841410003321 996 $aSoftware technology$94140772 997 $aUNINA