Tags

traceability
Jan 1, 2020
UML
Jan 1, 2020
alloy
Jan 1, 2018
Formal Reasoning
Jan 1, 2018
KodKod
Jan 1, 2018
Modeling
Jan 1, 2018
Relational Logic
Jan 1, 2018
automated analysis
Jan 1, 2017
domain-specific modeling
Jan 1, 2017
formal trace semantics
Jan 1, 2017