04344nam 22004931 450 991055529260332120221206104131.01-119-17423-61-119-17422-81-119-17424-410.1002/9781119174240(CKB)4330000000009089(MiAaPQ)EBC5450418(CaBNVSL)mat08470994(IDAMS)0b000064886a1c9c(IEEE)8470994(PPN)250294826(EXLCZ)99433000000000908920181026d2018 uy engurcnu||||||||txtrdacontentcrdamediacrrdacarrierSoftware technology 10 years of innovation in IEEE Computer /edited by Mike HincheyFirst edition.Hoboken, New Jersey :IEEE Computer Society, Inc.,2018.[Piscataqay, New Jersey] :IEEE Xplore,[2018]1 online resource (373 pages)1-119-17421-X 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 .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.Software engineeringHistorySoftware engineeringHistory.005.1Hinchey Michael G(Michael Gerard),1969-CaBNVSLCaBNVSLCaBNVSLBOOK9910555292603321Software technology2815072UNINA02467nam2 22003973i 450 VAN0010952420241219124831.372feiS,en r-ou une- ce*. (3) 1771 (R)VAN 20170530d1771 |0itac50 bafreLATGRCCH||||||||| |||||||||i e nnc1Nouvelle edition faite d'après un exemplaire retouché de nouveau& augmenté de la main de Mr. BarbeyracA Baslechez Emanuel Thourneisen1771[4], CIV, [2], 680 p.4°Segnatura: π² a-n⁴ o²(-o2) A-4Q⁴. - Frontespizio bicromo. - A carta π1v ritratto calcograrico dell'autore inciso da Johann Rudolph Holzhalb. - Vignetta calcografica sul frontespizio. - Iniziali e fregi xilografici. - L'indicazione di edizione precede l'indicazione di consistenza dei volumi001VAN001095232001 ˆLe ‰droit de la nature et des gens, ou Sisteme general des principes les plus importans de la morale, de la jurisprudence, et de la politique. Par le Baron de Pufendorf, Traduit du Latin par Jean Barbeyrac, ... Avec des notes du meme; & une préface qui sert d'introduction à tout l'ouvrage. ... Tome premier [-second]205 Nouvelle edition faite d'après un exemplaire retouché de nouveau& augmenté de la main de Mr. Barbeyrac210 A Baslechez Emanuel Thourneisen1771215 2 volumi4°300 L'indicazione di edizione precede l'indicazione di consistenza dei volumi1CHBaselVANL002076PufendorfSamuel vonVANV084753505870HolzhalbJohann RudolphVANV084756350BarbeyracJean1674-1744VANV084754730Thourneisen, EmanuelVANV084755Monzambano, Severinus : dePufendorf, Samuel vonVANV226626Monsambano, Severinus : dePufendorf, Samuel vonVANV226627Puffendorf, SamuelPufendorf, Samuel vonVANV226628Pufendorff, Samuel : vonPufendorf, Samuel vonVANV226629ITSOL20250321RICABIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZAIT-CE0105VAN00VAN00109524BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00LAURIA BL.700. 124 00BL 4945 1 20170530 14132879UNICAMPANIA