Tags

Practitioners
Jan 1, 2020
Software architecture viewpoints
Jan 1, 2020
software modeling challenges
Jan 1, 2020
Survey
Jan 1, 2020
system of systems
Jan 1, 2020
traceability
Jan 1, 2020
UML
Jan 1, 2020
alloy
Jan 1, 2018
Formal Reasoning
Jan 1, 2018
KodKod
Jan 1, 2018