Engineering Trustworthy Software Systems
portes grátis
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Liu, Zhiming; Gomes, Claudio; Bowen, Jonathan P.
Springer Nature Switzerland AG
05/2025
171
Mole
9789819646555
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
SETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Mathematics;Computer Science;Computing;Logic;Semantics;Programming;Digital Twins;Artificial Intelligence;High Integrity Systems;Safety-Critical Systems;Human-Cyber-Physical Systems;Formal Methods;Formal Specification;Software Testing;Software Design;Software Engineering;Software Systems;Embedded Software;Trustworthy Software
SETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Mathematics;Computer Science;Computing;Logic;Semantics;Programming;Digital Twins;Artificial Intelligence;High Integrity Systems;Safety-Critical Systems;Human-Cyber-Physical Systems;Formal Methods;Formal Specification;Software Testing;Software Design;Software Engineering;Software Systems;Embedded Software;Trustworthy Software
