陈珊
- 作品数：7 被引量：21H指数：3
- 供职机构：浙江工贸职业技术学院更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于构件的软件体系结构分析与研究被引量：4
- 2004年
- 本文讨论了构件以及基于构件的软件体系结构的一些相关问题。
- 钟治初陈珊
- 关键词：软件体系结构
- 信息系统的重构性探讨
- 2005年
- 信息系统的重构的基础是软件重构,本文讨论了信息系统的可重构性及重构方法。
- 张玮玮陈珊
- 关键词：信息系统
- 入侵检测技术和防火墙结合的网络安全探讨被引量：2
- 2009年
- 本文指出了目前校园网络安全屏障技术存在的问题,重点分析了IDS与防火墙结合互动构建校园网络安全体系的技术优势,并对IDS与防火墙的接口设计进行了分析研究。
- 陈珊陈哲
- 关键词：防火墙网络安全入侵检测
- 开展技术服务是高职师资队伍建设的重要举措被引量：3
- 2010年
- 到企业开展技术服务是高职院校科研工作的重要内容,它在高职师资队伍建设中发挥着关键作用,是教师为社会服务的最佳手段,是提高教学水平的重要保证,也是培养高职教师职业教育能力的主要途径。
- 陈珉陈珊
- 关键词：高职教育
- 一种笔记本电脑放置底座
- 本实用新型涉及一种笔记本电脑放置底座，包括一基座、一位于基座左侧的卡座，基座左侧面上嵌入有若干个按照阶梯状形式分布的放置槽，卡座与基座之间分布有若干个连接杆，连接杆内可伸缩地连接有一伸缩杆，伸缩杆左端固定连接于卡座右侧面...
- 陈珊
- 文献传递
- 二级管理体制下系(部)教学秘书工作的探讨被引量：6
- 2005年
- 文章就院系二级管理体制下的系(部)教学秘书工作进行了探讨,分析了系(部)教学秘书工作职能,明确了岗位职责,并指出了系(部)教学秘书要做好教学管理工作必须强调工作主动、管理创新、及时督办、提高自身素质。
- 陈珊
- 关键词：教学管理二级管理教学秘书
- 软件开发中的形式化方法介绍被引量：6
- 2005年
- 软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷。众多的形式化方法在功能上可以实现互补。目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。
- 张玮玮陈珊
- 关键词：形式化方法软件工程软件开发
