陈建国
- 作品数：7 被引量：13H指数：3
- 供职机构：中国计量学院信息工程学院更多>>
- 发文基金：浙江省重大科技专项资金新世纪高等教育教学改革工程国家质检总局科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程更多>>
- UML时间顺序图的自动验证技术
- 2010年
- UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.
- 陈江陈建国陆慧娟唐文彬
- 新形势下公共计算机基础教学改革的思考与探讨
- 计算机应用能力已成为学生知识结构的重要组成部分,公共计算机基础教学在高校教学中的地位日益突出.文章在阐述目前我国高校公共计算机基础教学的现状及存在问题的基础上,分析了当前高校公共计算机基础教学面临的新形势,文章从教学方式...
- 陈建国
- 关键词：计算机基础课程基础教学教学内容教师素质
- 文献传递
- 基于WCF框架的分步式车辆调度系统被引量：5
- 2009年
- WCF是微软最新一代的面向服务的技术,它简化了分步式系统的开发。分析了WCF的系统架构和技术要素,并在此基础上进行基于WCF的分布式系统的开发和设计,事实证明运用WCF技术大大简化了分步式系统的开发,并具有较高的通信效率和扩展性。
- 陈江陈建国陈国富
- 关键词：WCF远程对象
- 基于预序的交互行为分析
- 交互行为分析是研究人机交互系统的交互行为的描述和分析方法。为简化交互行为分析,本文提出了行为等价的概念。本文以标号迁移系统为基本模型,提出了包括分歧和内部活动的试验设定和过程表示。本文在通用试验语义和语法的基础上,着重研...
- 陈建国陈江Stefan D.BrudaWai K.YEAP
- 关键词：交互行为形式化描述
- 文献传递
- 信息安全技术课程双语教学的探索与研究被引量：4
- 2016年
- 双语教学是我国高校教学改革的一个热点,以合作办学项目计算机类课程信息安全技术为实例,从教材选用、教学模式、师资培养、互动与交流等方面探讨开展双语教学的有效方法,说明实施效果,指出存在的问题和对双语教学的思考。
- 陈建国王秀敏向琳周杭霞周永霞
- 关键词：双语教学信息安全技术合作办学
- 信息安全技术课程双语教学的探索与研究
- 双语教学是我国高校教学改革的一个热点,以合作办学项目计算机类课程信息安全技术为实例,从教材选用、教学模式、师资培养、互动与交流等方面探讨开展双语教学的有效方法,说明实施效果,指出存在的问题和对双语教学的思考.
- 陈建国王秀敏向琳周杭霞周永霞
- 关键词：高等教育双语教学教材选用师资培养
- UML时间顺序图的实时系统建模及验证被引量：4
- 2010年
- 实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
- 陈江陈建国陆慧娟王康健
- 关键词：统一建模语言实时系统形式化验证
