User:Fukura

I am teaching about the software constructing methods in the college. I teach students the Symbolic Logic introduction by Mizar-MSE before OCL training. I am interesting the methods for high quality software constructing engineering.