位置：成果数据库 > 会议 > 会议详情页
Study on the Unified and Formalized Description of the Component using the Category Theory
  • 所属机构名称：昆明理工大学
  • 会议名称：International Forum on Information Technology and Applications
  • 成果类型：会议
  • 相关项目：基于合约的定制构件的测试方法研究
作者： Wang Haitao|Chen Xing|Jiang Ying|
同会议论文项目
基于合约的定制构件的测试方法研究
期刊论文 9 会议论文 10
同项目会议论文
The Support of Interface Specifications in Black-box Components Testing
A Control-Flow Complexity Measure of Web Service Composition Process
The Test Data Selection Method for Black-box Component Based on Contract
Research on the Information Library for Component Testing
The Management Framework of Component Test Information
Test-Data Generation for Web Services Based on Contract Mutation
Extended Software Component Model for Testing and Reuse
The Mechanism of Component Modification to the Application Environment
The Multi-Dimension Component Quality Evaluation