LEADER 01224nam0-2200385li-450 001 990000254560203316 005 20180312154746.0 010 $a0-674-39659-6 035 $a0025456 035 $aUSA010025456 035 $a(ALEPH)000025456USA01 035 $a0025456 100 $a2001999051996-------y0itay0103----ba 101 0 $aeng 102 $aGB 200 1 $a<> history of chemistry$fBernadette Besaunde_Vincent, Isabelle Stengers ;[translated by Deborah van Dam] 210 $aCambridge [etc.]$cHarvard University Press$dcopyr. 1996 215 $a305 p.$cill.$d24 cm 300 $atrad di : histoire de la chimie 676 $a5409 700 1$aBensaude_Vincent,$bBernadette$067827 702 1$aDam,$bDeborah van 702 1$aStengers,$bIsabelle 801 $aSistema bibliotecario di Ateneo dell' Universitą di Salerno$gRICA 912 $a990000254560203316 951 $a540.9 BEN$b23520/CBS$c540$d00223840 959 $aBK 969 $aSCI 979 $c19990507 979 $c20001110$lUSA01$h1715 979 $c20020403$lUSA01$h1633 979 $aPATRY$b90$c20040406$lUSA01$h1618 979 $aRSIAV6$b90$c20090629$lUSA01$h0956 996 $aHistory of chemistry$91492368 997 $aUNISA LEADER 04156nam 22007455 450 001 9910298985303321 005 20200702114133.0 010 $a9783319098166 010 $a3319098160 024 7 $a10.1007/978-3-319-09816-6 035 $a(CKB)3710000000227182 035 $a(EBL)1802549 035 $a(SSID)ssj0001338429 035 $a(PQKBManifestationID)11780361 035 $a(PQKBTitleCode)TC0001338429 035 $a(PQKBWorkID)11337593 035 $a(PQKB)10558891 035 $a(MiAaPQ)EBC1802549 035 $a(DE-He213)978-3-319-09816-6 035 $a(PPN)18062752X 035 $a(EXLCZ)993710000000227182 100 $a20140827d2014 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutonomy Requirements Engineering for Space Missions /$fby Emil Vassev, Mike Hinchey 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (260 p.) 225 1 $aNASA Monographs in Systems and Software Engineering,$x1860-0131 300 $aDescription based upon print version of record. 311 08$a9781322138107 311 08$a1322138109 311 08$a9783319098159 311 08$a3319098152 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aForeword -- 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. 330 $aAdvanced 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. 410 0$aNASA Monographs in Systems and Software Engineering,$x1860-0131 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputers 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aModels and Principles. 615 24$aArtificial Intelligence. 676 $a629.1 700 $aVassev$b Emil$4aut$4http://id.loc.gov/vocabulary/relators/aut$0905497 702 $aHinchey$b Mike$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910298985303321 996 $aAutonomy Requirements Engineering for Space Missions$92025288 997 $aUNINA