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

• 作者: 梁可新
• 来源期刊: 丝路视野
• 关键词: 形式化建模 创新创业 可读性 软件功能转换
• 年，卷（期）: 2017,（33）
• 所属期刊栏目: 双创教育
• 页码范围: 67
• 页数: 1页
• 字数: 1869字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁可新		3	0	0.0	0.0