Software engineering; software verification; program specification; program verification; program proving; frame analysis; change analysis; alias analysis; alias calculus; frame calculus; frame inference; Design by Contract; Eiffel; object-oriented programming; pointers; references;
机译:富框架,贫框架:媒体框架多样性和个体差异对受众框架多样性的可能影响研究
机译:含义框架:问题框架和解决方案框架的结构
机译:替代框架和改进的鱼骨模型:两个简化的框架代表RC抗力矩框架
机译:基于框架的支持教学中的俄语语言盒系统:可视化帧,算法帧,主题帧:使用RGNF的财务支持进行工作,项目000-000
机译:解决棒球中的类固醇问题:测量传统和新媒体之间的媒体框架,来源和框架转移
机译:基因中的单帧多帧和框架主题
机译:“Sashimono-zukuri”框架框架系统的转换过程,其主要框架屋顶框架的负荷转移路径:芦苇岩川川川地区主框架与屋顶框架的相关性研究
机译:Texoma框架的土地利用分类(大约100平方海里的正方形区域,以俄克拉荷马州杜兰特东南15英里,红河以北约5英里为中心)和整个区域的两个子框架帧