SPECIFICATION

作品数：128被引量：110H指数：5
导出分析报告
相关领域：生物学艺术更多>>
相关作者：顾荣宝张琳娜刘玉芳孔晓峰唐勇更多>>
相关机构：沈阳高精数控技术有限公司武汉华中数控股份有限公司安徽大学沈阳产品质量监督检验院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Southeast University（English Edition）x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Typed formal model for WS-CDL specification of web services composition
《Journal of Southeast University(English Edition)》2008年第3期300-307,共8页辜希武 李瑞轩 卢正鼎 
The National Natural Science Foundation of China(No.60403027,60773191,70771043);the National High Technology Research and Development Program of China(863 Program)(No.2007AA01Z403)
In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description langu...
关键词：typed model web services composition web services choreography description language 
Decomposition-Based Visual Function Specification and Auto-Generation of Function
《Journal of Southeast University(English Edition)》2002年第1期28-32,共5页沈军 顾冠群 
theprojectofMinistryofChinaaboutkeyfundamentalresearchonapplication (62 0 90 0 3 0 0 1)
On the software module, this paper proposes a visual specification language(VSL). Based on decomposition, the language imitates men's thinking procedure that decomposes aproblem into smaller ones, then independently s...
关键词：software specification function decomposition data dependent visualprogramming 
“SPECIFICATION PLUS TRANSFORMATION TO PROGRAM”：A NEW MODEL OF SOFTWARE DEVELOPMENT
《Journal of Southeast University(English Edition)》1995年第2期63-70,共8页沈军 程正潮 
In this paper, a formal specification language and a tool systembased on it are presented. With the tool system, the new model of softwaredevelopment─“specification plus transformation to program” can be im-pleme...
关键词：SOFTWARE SPECIFICATION SOFTWARE engineering MODULE softwaredevelopment MODEL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部