Formal aspects of component software [electronic resource] : 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings / Silvia Lizeth Tapia Tarifa, José Proença (eds.).

Unlimited

Authorized users

Can lend chapters, not whole ebooks

Formal aspects of component software [electronic resource] : 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings / Silvia Lizeth Tapia Tarifa, José Proença (eds.).

9783031208720 (electronic bk.)
3031208722 (electronic bk.)
3031208714
9783031208713

Cham, Switzerland : Springer, 2022.

English

1 online resource.

10.1007/978-3-031-20872-0 doi

QA76.9.F67

004.01/51

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022. The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

Includes author index.

References -- Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components -- 1 Introduction -- 2 Motivation and Language Design Goals -- 3 Background -- 3.1 Traces for Signals Used by HLS ch2Menghi2020 -- 3.2 Traces for Source Code Used by iCFTL ch2DawesRV2021 -- 4 Hybrid Traces -- 5 SCSLSyntax -- 5.1 Examples -- 6 Semantics -- 6.1 Determining Values of Terms -- 6.2 A Semantics Function -- 7 Language Comparison -- 7.1 Implications for Software Verification and Validation Processes -- 8 Ongoing Work -- 9 Conclusion -- References

Access limited to authorized users.

Online resource; title from PDF title page (SpringerLink, viewed November 10, 2022).

Lecture notes in computer science ; 13712.

Print version: 9783031208713

Online Resources > Ebooks
All Resources