01228nam--2200373---450-99000223538020331620100922092739.0000223538USA01000223538(ALEPH)000223538USA0100022353820041202d1990----km-y0itay0103----baitaIT||||||||001yyConcordato, accordi e intese tra lo Stato e la ChiesaPasquale LilloMilanoGiuffré1990X, 250 p.24 cmPubblicazioni della Facoltà di Giurisprudenza2. Università degli Studi di Roma52001Pubblicazioni della Facoltà di Giurisprudenza2. Università degli Studi di Roma52001001-------2001Chiesa e StatoAccordi322.1LILLO,Pasquale231932ITsalbcISBD990002235380203316322.1 LIL 1 (X 20 LI 5)71373 E.C.X 2000290189BKECOSIAV11020041202USA011806RSIAV29020100922USA010927Concordato, accordi e intese tra lo Stato e la Chiesa1035088UNISA04156nam 22007455 450 991029898530332120200702114133.09783319098166331909816010.1007/978-3-319-09816-6(CKB)3710000000227182(EBL)1802549(SSID)ssj0001338429(PQKBManifestationID)11780361(PQKBTitleCode)TC0001338429(PQKBWorkID)11337593(PQKB)10558891(MiAaPQ)EBC1802549(DE-He213)978-3-319-09816-6(PPN)18062752X(EXLCZ)99371000000022718220140827d2014 u| 0engur|n|---|||||txtccrAutonomy Requirements Engineering for Space Missions /by Emil Vassev, Mike Hinchey1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (260 p.)NASA Monographs in Systems and Software Engineering,1860-0131Description based upon print version of record.9781322138107 1322138109 9783319098159 3319098152 Includes bibliographical references at the end of each chapters and index.Foreword -- Preface -- Acknowledgements -- Software Engineering for Aerospace- State of the Art -- Handling Autonomy Requirements for ESA Systems -- Autonomy Requirements Engineering -- Verification and Validation of Autonomy Requirements -- Requirements for Cognitive Capabilities of UAS.- ASSL Specification of Voyager Image-Processing Behaviour -- BepiColumbo Autonomy Requirements Specification with KnowLang.- Glossary -- Index.Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy Requirements Engineering (ARE) approach, intended to help software engineers properly elicit, express, verify, and validate autonomy requirements. Moreover, a comprehensive state-of-the-art of software engineering for aerospace is presented to outline the problems handled by ARE along with a proof-of-concept case study on the ESA's BepiColombo Mission demonstrating the ARE’s ability to handle autonomy requirements.NASA Monographs in Systems and Software Engineering,1860-0131Artificial intelligenceSoftware engineeringComputersArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Artificial intelligence.Software engineering.Computers.Artificial Intelligence.Software Engineering.Models and Principles.Artificial Intelligence.629.1Vassev Emilauthttp://id.loc.gov/vocabulary/relators/aut905497Hinchey Mikeauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910298985303321Autonomy Requirements Engineering for Space Missions2025288UNINA