3 ms·

Take a look at the Balsa design system: http://apt.cs.man.ac.uk/projects/tools/balsa/ http://apt.cs.man.ac.uk/projects/tools/balsa/ My colleague uses it for re

by thesz 15y ago

Take a look at the Balsa design system: http://apt.cs.man.ac.uk/projects/tools/balsa/ http://apt.cs.man.ac.uk/projects/tools/balsa/ My colleague uses it for research purposes and he said that it is pretty mature.

sliverstorm 15y ago
I suspect if the only issue was translating architecture to logic, we'd be doing it already