Statistical model checking of dynamic software architectures

Generating formal software architecture descriptions from semi-formal SysML-based models: A model-driven approach

C Araújo, T Batista, E Cavalcante… - … on Computational Science …, 2021 - Springer
The critical nature of many complex software-intensive systems requires formal architecture
descriptions for supporting automated architectural analysis regarding correctness …
被引用次数：3 相关文章 所有 3 个版本

Foundations and research agenda for simulation of smart ecosystems architectures

VV Graciano Neto, W Manzano, PO Antonino… - … Conference on Software …, 2021 - Springer
The expected evolution of software-intensive systems has led to the emergence of complex
systems in which smart ecosystems are representative. All life cycle phases of these …
被引用次数：2 相关文章 所有 4 个版本

Case study on the fuzzy architecture description of cyber-physical sos under uncertainty

F Oquendo - 2021 16th International Conference of System of …, 2021 - ieeexplore.ieee.org
Uncertainty is an intrinsic characteristic of any System-of-Systems (SoS), in particular of
Cyber-Physical SoS, eg in intelligent transportation operations such as vehicle platooning …
被引用次数：1 相关文章 所有 3 个版本
[PDF] ceur-ws.org

[PDF][PDF] A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures

C Araújo - 2021 - ceur-ws.org
The critical nature of many complex software-intensive systems requires formal architecture
descriptions towards better supporting automated architectural analysis regarding …
相关文章 所有 2 个版本

A Tool for the Analysis of MANET Routing Protocols Based on Abstract State Machines

A Bianchi, E Covino, G Pani, S Pizzutilo - … from SAM'20, ICWN'20, ICOMP' …, 2021 - Springer
A Tool for the Analysis of MANET Routing Protocols Based on Abstract State Machines |
SpringerLink Skip to main content Advertisement SpringerLink Account Menu Find a journal …
相关文章 所有 4 个版本