Tags

"Services"
SysML
"A-Posteriori Typing"
"Concepts"
"Correspondences"
"Executable DSL"
"Execution Trace"