Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems.

Shuang Song Manasvi Saxena Pei-Hsuan Tsai Lui Sha

Published in: SMC (2023)

Keyphrases

software architecture
distributed systems
software engineering
software systems
description language
dynamic reconfiguration
multi agent
software development
functional requirements
database
sufficient conditions
building blocks
design patterns
embedded software
object oriented software