SOFL

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SOFL的软件开发过程
《中国电子商务》2012年第21期41-41,共1页陈彦霞 
SOFL是形式化语言中的一种，它集成了数据流图，VDM—SL，Petri网的优势，为规格说明书的创建工作提供图文并茂的形式化标记。对传统的数据流图进行扩展，并使用Petri网为DFD提供操作语义，形成了CDFD。它用层次方式进行组织，从而把复...
关键词：形式化方法 SOFL 
基于SOFL的软件开发过程
《中国科技纵横》2012年第17期65-65,共1页周挺 朱飞燕 
介绍了SOFL在软件开发过程中的运用以及它作为一种优秀的形式化工程方法的优点，SOFL的软件开发过程经历所需分析，抽象设计，演化，细节设计，编程，验证几个阶段，坚实的教学基础以及逐步求精的分解过程保证了系统软件的可靠性和稳定性。
关键词：形式化方法 SOFL 
基于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 需求分析 软件工程 半形式化 
基于SOFL规约的复审理论及实现
《计算机工程》2006年第18期61-63,共3页方小丽 陈昊鹏 
介绍了对形式化语言SOFL进行复审的设计思想及实现,从两个既相对独立又相互关联的方面——基于process的复审和基于data的复审展开,依据checklist问题集,帮助复审人员系统而有效地发现SOFL规约的错误缺陷、内部不一致性、不完备性、不...
关键词：严格复审 形式化验证 审查 问题集 
为SOFL Specification自动生成消息序列(MSC)
《计算机工程与应用》2006年第16期114-117,共4页王浩 
形式化方法以其精确的描述能力,可验证性,和自动化潜力而得到了人们的关注。特别是在一些对安全性要求非常高的领域,已经有了很多成功的案例。但他始终没有在业界得到推广。原因之一就是基于数学符号的形式化语法十分晦涩难懂,这给开发...
关键词：形式化方法 SOFL MSC 模拟 规范校验 
Voltammetric Behavior of Sodium 7-Methoxyl-4'-hydroxylisoflavone-3'-sulfonate and Its Application
《Chinese Journal of Chemistry》2004年第9期920-924,共5页张尊听 董社英 郑建斌 张宏芳 高鸿 
the National Natural Science Foundation of China (No. 20275030) the Key Item of Science and Technique by the Ministry of Education (No. 02187) the Foundation for University Key Teacher by the Ministry of Education (No. GG-150-71006-2
Voltammetric behavior of sodium 7-methoxyl-4'-hydroxylisoflavone-3'-sulfonate (SMHS) in the aqueous solu-tion from pH 1 to 5 was studied by linear sweep voltammetry, cyclic voltammetry and normal pulse voltammetry. Ex...
关键词：voltammetric behavior reduction sodium 7-methoxyl-4'-hydroxylisoflavone-3'-sulfonate superox-ide anion radical 
Syntheses and Crystal Structures of [Na(H_2O)](C_(17)H_(13)O_6SO_3)·2H_2O and [Ni(H_2O)_6](C_(17)H_(13)O_6SO_3)_2·4H_2O被引量：2
《Chinese Journal of Chemistry》2004年第9期971-977,共7页张尊听 郭亚宁 刘谦光 
the Natural Science Foundation of Shaanxi Province (No. 2001K11-G5).
Two hydrates of sodium 5,7-dihydroxy-6,4'-dimethoxyisoflavone-3'-sulfonate ([Na(H2O)](C17H13O6SO3)2H2O, 1) and nickel 5,7-dihydroxy-6,4'-dimethoxyisoflavone-3'-sulfonate ([Ni(H2O)6](C17H13O6SO3)24H2O, 2) were syn-thes...
关键词：irisolidon sodium 5 7-dihydroxy-6 4'-dimethoxyisoflavone-3'-sulfonate nickel 5 7-dihydroxy-6 4'- dimethoxyisoflavone-3'-sulfonate crystal structure C—H…p hydrogen bond 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部