基于形式化建模技术的创业研究

摘要

形式化技术是计算机专业重要的应用型技术,但其应用具有一定的局限性,一是形式化后的成果非专业人士很难读懂;二是形式化抽象与实质性的软件功能实现还具有一定的距离.鉴于此,本文给出了一种基于形式化建模技术的创业研究,给出了形式化建模技术的可读性及软件功能转换理念,并对形式化建模技术的社会应用进行了描述.本文工作在形式化技术的灵活性发展上具有突出特点,能够为高等院校创新创业教育提供一种新的途径,具有一定的社会意义与实践价值.