您的位置： 专家智库 > >

王友

作品数：3 被引量：8H指数：1
供职机构：蚌埠学院更多>>
发文基金：安徽省社科联课题更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇UML
  • 1篇大学生
  • 1篇大学生就业
  • 1篇对象约束语言
  • 1篇信息服务
  • 1篇信息服务研究
  • 1篇形式规约
  • 1篇学生就业
  • 1篇智能控制
  • 1篇票务
  • 1篇就业
  • 1篇就业信息
  • 1篇控制系统
  • 1篇家庭智能
  • 1篇家庭智能控制...
  • 1篇公路
  • 1篇规约
  • 1篇UML/OC...
  • 1篇B方法

机构

  • 3篇蚌埠学院
  • 1篇蚌埠医学院
  • 1篇安徽省图书馆

作者

  • 3篇王友
  • 1篇方波
  • 1篇郜宗茂
  • 1篇武巍泓
  • 1篇方习国

传媒

  • 1篇高校图书馆工...
  • 1篇聊城大学学报...
  • 1篇重庆科技学院...

年份

  • 3篇2012
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
UML/OCL在公路票务系统建模中的应用
2012年
精确的软件需求说明书是确保软件质量的基础,本文以公路票务系统为开发背景,探讨了OCL在构建精确软件需求过程中的应用方法,以Rose作为建模工具构建了系统的需求模型、对象结构模型、动态行为模型、实现模型.
王友
关键词：UML对象约束语言
高校图书馆开展大学生就业信息服务研究——基于安徽省高校图书馆的调查被引量：7
2012年
根据大学生就业信息需求和高校图书馆的信息服务优势,课题组在服务理念、就业信息服务、就业信息资源建设、未来计划等五个方面对安徽省高校图书馆开展大学生就业信息服务状况进行了调查。调查统计说明:目前高校图书馆在大学生就业信息服务方面存在诸多不足。文章对调查结果进行了分析并就高校图书馆如何做好大学生就业信息服务提出了几点建议。
方波郜宗茂王友方习国武巍泓
关键词：大学生就业就业信息信息服务
一种结合UML和B的软件需求获取方法被引量：1
2012年
精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型。然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约。使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程。
王友
关键词：B方法UML形式规约家庭智能控制系统
全选 清除 导出
共1页<1>
聚类工具0