[00668110]软件工程中的形式化方法和面向对象技术
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
该项成果立足于软件工程中的形式化方法和面向对象技术，围绕集成形式化方法和面向对象技术、实时和混成系统的模型检验以及面向对象程序理解与度量三个方面展开研究工作，对提高软件系统的开发效率和可靠性，具有重要的意义。其集成形式化方法和面向对象技术为开发高安全和高可靠软件系统提供了途径；实时和混成系统的模型检验可以验证多达11个处理器；面向对象的程序理解与度量研究给出了不同粒度、分层次的程序切片算法和基于程序切片技术度量Java程序耦合性和内聚性的框架。