SOFL

作品数：8被引量：4H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈昊鹏高正华韩捷朱滔方小丽更多>>
相关机构：上海交通大学华中科技大学西安电子科技大学东南大学更多>>
相关期刊：《中国电子商务》《计算机应用与软件》《Chinese Journal of Chemistry》《中国科技纵横》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用与软件x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SOFL规范的语义分析被引量：1
《计算机应用与软件》2007年第11期86-88,共3页高正华 陈昊鹏 
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Formal Language)便应运而生。在给出语义分析的整体算法后,逐步分析各个阶段遇...
关键词：抽象生成树(AST) 访问者模式 符号表 作用域 SOFL 类型检查 
基于SOFL形式化方法的需求分析被引量：1
《计算机应用与软件》2007年第9期57-59,共3页韩捷 陈昊鹏 
介绍了形式化方法在需求分析中的运用,并且介绍了SOFL作为一种优秀的形式化工程方法的一些特点。SOFL在需求分析阶段中采用从informal到semi-formal再到formal的逐步过渡和演化,并采用CDFD进行功能分解和数据流的精确定义,有助于精确且...
关键词：形式化方法 SOFL 需求分析 软件工程 半形式化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部