Normal view MARC view ISBD view

Software technology : 10 years of innovation in IEEE Computer / edited by Mike Hinchey.

Contributor(s): Hinchey, Michael G. (Michael Gerard), 1969- [editor.] | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.].
Material type: materialTypeLabelBookPublisher: Hoboken, New Jersey : IEEE Computer Society, Inc., 2018Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2018]Edition: First edition.Description: 1 PDF (384 pages).Content type: text Media type: electronic Carrier type: online resourceISBN: 9781119174240.Subject(s): IEEE Computer Society -- History | Software engineering -- HistoryGenre/Form: Electronic books.DDC classification: 005.1 Online resources: Abstract with links to resource Also available in print.
Contents:
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 / 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 .
Summary: Sales 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-- Provided by publisher.
    average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references and index.

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 / 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 .

Restricted to subscribers or individual electronic text purchasers.

Sales 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-- Provided by publisher.

Also available in print.

Mode of access: World Wide Web

Description based on PDF viewed 10/26/2018.

There are no comments for this item.

Log in to your account to post a comment.