Slika na naslovnici

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024. The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedi...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Korporativna značnica: SpringerLink (Online service)
Drugi avtorji: Bowen, Jonathan P. (Editor), Gomes, Cláudio (Editor), Liu, Zhiming (Editor)
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Singapore : Springer Nature Singapore : Imprint: Springer, 2025.
Izdaja:1st ed. 2025.
Serija:Lecture Notes in Computer Science, 15584
Teme:
Software engineering.
Computer networks .
Artificial intelligence.
Computer programming.
Computer systems.
Natural language processing (Computer science).
Software Engineering.
Computer Communication Networks.
Artificial Intelligence.
Programming Techniques.
Computer System Implementation.
Natural Language Processing (NLP).
Online dostop:https://doi.org/10.1007/978-981-96-4656-2
Oznake: Označite
Brez oznak, prvi označite!
Kazalo:
  • 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.

Podobne knjige/članki