F Asteasuain, LR Caldeira - Argentine Congress of Computer Science, 2021 - Springer
In this work we consolidate our behavioral specification framework based on the Feather
Weight Visual Scenarios (FVS) language as a powerful tool to specify, verify and synthesize …