Computer Science Department, University of Kaiserslautern;
机译:SDL-2000的形式语义:现状和观点
机译:关于使用软件工具教授正式语义的一些创新
机译:从形式语义上进行切片:Chisel-通用程序切片的工具
机译:SDL配置文件 - 形式语义和工具支持
机译:Crowdre:一种支持众包需求获取的语义工具
机译:LORD:表型-基因型语义整合的生物医学数据工具可支持健康信息系统中的罕见疾病诊断编码
机译:sDL配置文件:形式语义和工具支持
机译:通过定义mpEG-7配置文件的正式语义来启用多媒体元数据互操作性;信息系统很好