[00798449]军用软件自动生成系统
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
该系统ＳｍａｌｌＡＰＥ将基于类型理论的程序构造方法、程序变换方法、面向对象的程序设计方法和可重用技术有机地结合起来，实现了一个集成化的程序设计与运行环境。系统功能比较强，有为系统程序员提供的编程语言ＦＳＬ及其翻译器，有为用户提供的编程语言ＣＯＬＩＳＰ及其翻译器，有绘制和装配图形的环境，并将它们集成为便于使用的程序设计和运行环境。软件生产的高效率和自动化是计算机科学追求的目标之一。ＳｍａｌｌＡＰＥ为提高软件生产率，保证软件的正确性提供了一个良好的环境。它将为软件生产带来经济效益。与国际上同类系统相比，该系统具有独到之处，可用于中、大型软件的开发。