...
机译:行为接口规范语言
Kansas State University;
University of Central Florida;
Microsoft Research;
Eth Zurich;
Microsoft Research Cambridge;
abstraction; assertion; behavioral subtyping; frame conditions; interface specification language; invariant; JML; postcondition; precondition; separation logic; spec#; SPARK;
机译:领域特定建模语言的行为语义的组合规范
机译:命令式编程语言的行为规范
机译:使用行为空间检查流程是否符合自然语言规范
机译:BML的初步设计:Java字节码的行为接口规范语言
机译:使用时态逻辑功能增强行为接口规范语言。
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:行为界面规范语言