形式化工具相关论文
类型系统是一种设计和研究程序设计语言的形式化方法和工具,既可在语言设计之初构造,便于严格、准确、正确地设计实现语言;也可在......
在目前对于服务组合的研究中，对于用业务流程执行语言（BPEL）和WSCL等标准语言来描述的服务来说，语言本身缺乏对组合正确性进行检验的支......
