位置：成果数据库 > 会议 > 会议详情页
A generative approach to searching algorithmic programs development
  • 所属机构名称：江西师范大学
  • 会议名称：5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011
  • 时间：2011
  • 成果类型：会议
  • 相关项目：若干软件新技术及其在PAR平台中的实验研究
同会议论文项目
若干软件新技术及其在PAR平台中的实验研究
期刊论文 49 会议论文 7 获奖 4 著作 3
同项目会议论文
An approach of verifying service composition based on Hierarchical Timed Automata
Formal Semantics of Orc Based on TLA(+)
Research on a new abstract programming language for generic constraints
Researchon Formal Development ofNon-recursive Algorithms of Graph Search
An approach of verifying service composition based on Hierarchical Timed Automata
A reputation model based on hierarchical bayesian estimation for Web services