Quantitative Assurance and Synthesis of Controllers from Activity Diagrams.

Kangfeng Ye Fang Yan Simos Gerasimou

Published in: CoRR (2024)

Keyphrases

activity diagrams
conceptual database design
controller synthesis
operational semantics
requirements engineering
sequence diagrams
database
class diagrams
information systems
knowledge base
database systems
multi agent
software engineering
requirements specification