Challenges Engaging Formal CBSE in Industrial Applications
Y Li, M Sun - International Conference on Formal Aspects of …, 2023 - Springer
Component-based software engineering (CBSE) is a widely used software development
paradigm. With software systems becoming increasingly sophisticated, CBSE provides an …
paradigm. With software systems becoming increasingly sophisticated, CBSE provides an …
[PDF][PDF] Logs and Models in Engineering Complex Embedded Production Software Systems
N Yang - 2023 - research.tue.nl
Embedded systems are an essential part of production and manufacturing, providing a strict
control and automation of the processes to ensure the quality of final products. One can find …
control and automation of the processes to ensure the quality of final products. One can find …
Logs and models in engineering complex embedded systems
Complex embedded systems, such as robotics, automotive and high-tech manufacturing,
are hard to maintain due to their complex nature. To advance our understanding of the …
are hard to maintain due to their complex nature. To advance our understanding of the …