Formal Aspects of Component Software
portes grátis
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Jongmans, Sung-Shik; Camara, Javier
Springer International Publishing AG
01/2024
229
Mole
Inglês
9783031521829
15 a 20 dias
Descrição não disponível.
Research Papers.- Symbolic Path-guided Test Cases for Models with Data and Time.- Model-Based Testing of Asynchronously Communicating Distributed Controllers.- A Mechanized Semantics for Component-based Systems in the HAMR AADL Runtime.- A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer.- Joint use of SysML and Reo to specify and verify the compatibility of CPS components.- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs.- Anniversary Papers.- Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.- Challenges Engaging Formal CBSE in Industrial Applications.- Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.- Overview on Constrained Multiparty Synchronisation in Team Automata.- Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
software design;software engineering;computer programming;computer systems;object-orientated programming;architecting;architecture verification and validation;computer networks;databases;embedded systems;engineering;internet;linguistics;mathematics;model checking;network protocols;programming languages;signal processing;software architecture;theoretical computer science
Research Papers.- Symbolic Path-guided Test Cases for Models with Data and Time.- Model-Based Testing of Asynchronously Communicating Distributed Controllers.- A Mechanized Semantics for Component-based Systems in the HAMR AADL Runtime.- A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer.- Joint use of SysML and Reo to specify and verify the compatibility of CPS components.- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs.- Anniversary Papers.- Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.- Challenges Engaging Formal CBSE in Industrial Applications.- Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.- Overview on Constrained Multiparty Synchronisation in Team Automata.- Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
software design;software engineering;computer programming;computer systems;object-orientated programming;architecting;architecture verification and validation;computer networks;databases;embedded systems;engineering;internet;linguistics;mathematics;model checking;network protocols;programming languages;signal processing;software architecture;theoretical computer science
