A Pattern System to Support Refining Informal Ideas into Formal Expressions.

Xi Wang, Shaoying Liu, Huaikou Miao

Browse the full ICFEM paper archive.