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.
"synopsis" may belong to another edition of this title.