陈名铭
- 作品数：7 被引量：12H指数：2
- 供职机构：江海职业技术学院更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 形式化语言B与UML／OCL的比较被引量：2
- 2009年
- 该文介绍了形式化方法中B语言和UML／OCL语言，从软件开发生命周期的角度对B语言和OCL语言进行了比较，归纳了这两种形式化语言的异同和各自的适用范围。
- 顾建丰陈名铭周秀芳
- 关键词：B语言OCL形式化方法
- 新时期计算机应用与维护的创新思路探讨被引量：4
- 2019年
- 随着科学不断的发展,网络计算机技术不断的推进,计算机逐渐应用于人们的日常工作和生活中,如果计算机出现一定的问题和故障,就会影响人们的工作时效性以及日常的生活,因此,计算机维护工作的意义非常重大。本文具体说明了维护管理现状、应用维护策略以及创新思路等,为相关工作人员提供参考。
- 陈名铭
- 关键词：计算机
- Startup宏病毒的分析和研究
- 2013年
- 宏病毒是一些别有用心的人,利用Microsoft Office的开放性,即Word中提供的VBA编程接口,专门制作的一个或多个具有病毒特点的宏的集合。本文对Startup宏病毒的特点、运行原理和代码进行了系统分析和研究,并提出了有效的解决方案,这对提高用户查杀宏病毒有相当实用的价值。
- 陈名铭
- 关键词：宏病毒代码分析
