Sign in
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach.
Camila Araújo
Thaís Batista
Everton Cavalcante
Flávio Oquendo
Published in:
ICCSA (3) (2021)
Keyphrases
</>
software architecture
formal methods
metamodel
software systems
formal models
software engineering
databases
distributed systems
formal specification
decision making
web services
xml documents
embedded software
software development process