您的位置： 专家智库 > >

谢越

作品数：5 被引量：1H指数：1
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术文化科学经济管理更多>>

合作作者

文献类型

  • 3篇学位论文
  • 2篇专利

领域

  • 1篇经济管理
  • 1篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇UML模型
  • 1篇大学毕业
  • 1篇大学毕业生
  • 1篇驯化
  • 1篇用户
  • 1篇用户定义
  • 1篇软件工程
  • 1篇软件开发
  • 1篇软件系统
  • 1篇社交
  • 1篇社交媒体
  • 1篇时态逻辑
  • 1篇顺序图
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇朋友
  • 1篇朋友圈
  • 1篇契约
  • 1篇系统模型
  • 1篇协商

机构

  • 5篇华东师范大学

作者

  • 5篇谢越
  • 2篇曹虹华
  • 2篇杜德慧
  • 2篇刘静
  • 2篇宫学强
  • 2篇尹玲

年份

  • 2篇2022
  • 2篇2010
  • 1篇2009
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种验证UML模型中动态行为与时序契约的一致性的方法
本发明涉及一种验证统一建模语言UML模型中动态行为与时序契约的一致性的方法，其特征在于，包括步骤：根据UML标准建模，包括生成UML状态图和UML顺序图，保存图形的元模型；对所建模型的动态行为，实现UML状态图到PROM...
刘静杜德慧谢越尹玲宫学强曹虹华
文献传递
制度距离对中国上市企业海外子公司经营绩效的影响
中国对外直接投资快速发展,其发展的速度和质量都关乎国计民生。跨国并购和海外子公司的建设随着中国对外直接投资的发展而发展起来,但是研究前者绩效的文章较多,对海外子公司经营绩效研究的文章较少,制度距离也逐渐成为学者研究中国对...
谢越
关键词：经营绩效
基于模型检测的动态协同服务间的一致性验证
近年来面向服务架构（SOA）作为一种非常有前景的软件开发技术，已经吸引了越来越多的关注。SOA松散耦合的特性保证了服务的快速组合和动态配置，然而，与此同时也给系统的一致性和可靠性带来了更多的挑战。因此，在模型级上对服务协...
谢越
关键词：软件开发
文献传递
一种基于性质规约模式生成LTL公式的UML模型检测系统和方法
本发明涉及模型驱动式软件开发领域中一种基于性质规约模式生成LTL公式的UML模型检测系统和方法，其特征在于，包括：UML状态图、模型编辑器、模型转换器、模型检测器、LTL公式编辑器，基于性质规约模式自动生成LTL公式定义...
杜德慧刘静谢越尹玲宫学强曹虹华
文献传递
成长、协商、规范：大学毕业生的微信朋友圈再驯化实践
当下,数字媒介技术已全方位渗入个体日常生活的各个面向,媒介实践与个人日常生活融为一体。本文立基媒介实践范式的视角,借鉴驯化理论,以质的研究方法来考察:大学生在校期间如何“驯化”其微信朋友圈并形成使用常规及象征意义,以及在...
谢越
关键词：社交媒体大学毕业生
全选 清除 导出
共1页<1>
聚类工具0