咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 5 篇 期刊文献

馆藏范围

  • 43 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 34 篇 工学
    • 28 篇 计算机科学与技术...
    • 25 篇 软件工程
    • 3 篇 机械工程
    • 2 篇 控制科学与工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 11 篇 理学
    • 10 篇 数学
    • 1 篇 生物学
  • 6 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 2 篇 医学
    • 2 篇 临床医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 药学(可授医学、理...
    • 1 篇 特种医学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 6 篇 software enginee...
  • 4 篇 petri nets
  • 3 篇 wire
  • 3 篇 navigation
  • 3 篇 semantics
  • 3 篇 testing
  • 2 篇 component archit...
  • 2 篇 information syst...
  • 2 篇 service oriented...
  • 2 篇 application soft...
  • 2 篇 model checking
  • 2 篇 ordinary differe...
  • 2 篇 buildings
  • 2 篇 data mining
  • 2 篇 computer industr...
  • 2 篇 software testing
  • 2 篇 analytical model...
  • 2 篇 algebra
  • 2 篇 unified modeling...
  • 1 篇 hybrid system

机构

  • 16 篇 center of math c...
  • 7 篇 center of math c...
  • 5 篇 center of math c...
  • 3 篇 shanghai keylab ...
  • 3 篇 national institu...
  • 2 篇 center of math c...
  • 2 篇 shanghai key lab...
  • 2 篇 software enginee...
  • 2 篇 tongji universit...
  • 2 篇 state key labora...
  • 2 篇 software enginee...
  • 1 篇 department of ne...
  • 1 篇 center of math c...
  • 1 篇 state key lab of...
  • 1 篇 international in...
  • 1 篇 department of bi...
  • 1 篇 welding engineer...
  • 1 篇 college of infor...
  • 1 篇 courant institut...
  • 1 篇 faculty of educa...

作者

  • 21 篇 zuohua ding
  • 18 篇 ding zuohua
  • 10 篇 mingyue jiang
  • 10 篇 jiang mingyue
  • 6 篇 jing liu
  • 4 篇 liu jing
  • 3 篇 geguang pu
  • 3 篇 zhang na
  • 3 篇 na zhang
  • 2 篇 jueliang hu
  • 2 篇 zhang miaomiao
  • 2 篇 kao zhang
  • 2 篇 pu geguang
  • 2 篇 xiong xijiao
  • 2 篇 jifeng he
  • 1 篇 xijiao xiong
  • 1 篇 chen shanben
  • 1 篇 xiaoan bao
  • 1 篇 qingye zhao
  • 1 篇 wang congcong

语言

  • 43 篇 英文
检索条件"机构=Center of Math Computing and Software Engineering Zhejiang Sci-Tech University"
43 条 记 录,以下是11-20 订阅
排序:
From textual use cases to message sequence charts
From textual use cases to message sequence charts
收藏 引用
International Conference on Information engineering and Applications, IEA 2011
作者: Jiang, Mingyue Ding, Zuohua Center of Math Computing and Software Engineering Zhejiang Sci.-Tech. University Hangzhou Zhejiang 310018 China
System's requirements can be specified by textual use cases since their concrete, narrative style of expression makes them very effective for eliciting software requirements. However, use cases are stated in natur... 详细信息
来源: 评论
Model checking web applications based on web navigation
Model checking web applications based on web navigation
收藏 引用
2012 International Conference on Teaching and Computational science, ICTCS 2012
作者: Jiang, Mingyue Ding, Zuohua Center of Math Computing and Software Engineering Zhejiang SciTech University Hangzhou China
With the development of web technologies and the increasing size of web sites, the structure of the web application becomes more complicated, and it becomes a difficult task to model and analyze it. Web navigation, wh... 详细信息
来源: 评论
Automation of test case generation from textual use cases
Automation of test case generation from textual use cases
收藏 引用
4th International Conference on Interaction sciences: IT, Human and Digital Content, ICIS 2011
作者: Jiang, Mingyue Ding, Zuohua Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou Zhejiang 310019 China
Textual use cases are often used to describe system requirements and are believed to be a good basis for system testing. However, due to the lacking of formal syntax and semantics of textual use cases, it is hard to b... 详细信息
来源: 评论
From Message Sequence Charts to Service Component Model
From Message Sequence Charts to Service Component Model
收藏 引用
The second International Conference of Electrical and Electronics engineering(ICEEE 2011)
作者: Mingyue Jiang Zuohua Ding Center of Math Computing and Software Engineering Zhejiang Sci-Tech University
Message Sequence Charts(MSCs) are a popular visual formalism for documenting system requirementsFrom MSCs to architecture level model is usually through manual work, which puts the burden on the human and may introduc... 详细信息
来源: 评论
Automation of test case generation from textual use cases
Automation of test case generation from textual use cases
收藏 引用
International Conference on Information sciences and Interaction sciences (ICIS)
作者: Mingyue Jiang Zuohua Ding Center of Math Computing and Software Engineering Zhejiang Science and Technology University Hangzhou Zhejiang China
Textual use cases are often used to describe system requirements and are believed to be a good basis for system testing. However, due to the lacking of formal syntax and semantics of textual use cases, it is hard to b... 详细信息
来源: 评论
Modeling and behavior checking of component based architecture
Modeling and behavior checking of component based architectu...
收藏 引用
2nd International Conference on software engineering and Data Mining, SEDM 2010
作者: Ding, Zuohua Zhang, Na Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou Zhejiang 310018 China
In this paper, we study component-based software architectures and report the following results. 1)By defining port operations, we may use port activities to describe process migration. The proposed formalism(port alg... 详细信息
来源: 评论
Executing Petri net based system model
Executing Petri net based system model
收藏 引用
2010 International Conference on Computer Application and System Modeling, ICCASM 2010
作者: Zhang, Na Jiang, Mingyue Ding, Zuohua Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou 310018 China
Implementation in a low-level language exposes problems with the system modeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementa... 详细信息
来源: 评论
Requirement checking: Generating uses cases out of navigational logs in web applications
Requirement checking: Generating uses cases out of navigatio...
收藏 引用
10th International Conference on Quality software, QSIC 2010
作者: Ding, Zuohua Jiang, Mingyue Pu, Geguang Liu, Jing Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou Zhejiang 310019 China Software Engineering Institute East China Normal University Shanghai 200062 China
For a web application, we rebuild the use cases from the log file by applying Natural Language Processing technique;then based on these use cases we construct component model and extract the component behavior;finally... 详细信息
来源: 评论
A new approach to measure software security
A new approach to measure software security
收藏 引用
作者: Han, Wei Ye, Hairong Ding, Zuohua Center of Math Computing and Software Engineering Zhejiang Sci.-Tech. University Hangzhou Zhejiang 310018 China
A new method is proposed to measure software system security. Each component can be characterized by a composite net which combines the features of Finite State Machine and Operation Diagram. A fuzzy number is introdu... 详细信息
来源: 评论
A rigorous approach in testing service component architectures
A rigorous approach in testing service component architectur...
收藏 引用
作者: Zhang, Na Bao, Xiaoan Ding, Zuohua Center of Math Computing and Software Engineering Zhejiang Sci.-Tech. University Hangzhou Zhejiang 310018 China
The paradigm of Service Oriented Architecture (SOA) has been gathering significant momentum in both academia and industry in recent years. SCA, which describes a model for building applications and systems using a SOA... 详细信息
来源: 评论