-
题名Verilog语言形式化语义研究
- 1
-
-
作者
李勇坚
孙永强
何积丰
-
机构
上海交通大学计算机科学与工程系
澳门联合国大学国际软件研究所.澳门
澳门联合国大学国际软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第10期1573-1580,共8页
-
基金
澳门联合国大学国际软件研究所资助项目~~
-
文摘
在连续离散混合时间模型中考虑 Verilog的语义行为 ,将混合模型中的一个区间作为 Verilog程序一次运行过程的指称 .提出了一种扩展的 ITL来描述这种混合区间 ,从而给出 Verilog的形式语义 .这种语义定义不仅考虑到了各种语言成分的最终执行结果 。
-
关键词
VERILOG语言
形式化语义
硬件描述语言
-
Keywords
Formal languages
Hybrid computers
Scheduling
Semantics
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名精化UML模型
被引量：3
- 2
-
-
作者
杨静
张明义
刘志明
-
机构
贵州大学计算机科学与工程学院
贵州科学院
澳门联合国大学国际软件研究所
-
出处
《计算机科学》
CSCD
北大核心
2007年第3期250-253,共4页
-
基金
国家自然科学基金项目(No.10161005)
贵州省科研基金项目(No.3086)
-
文摘
本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。
-
关键词
UML
用例图
类图
顺序图
状态图
需求模型
设计模型
协调性
精化
-
Keywords
UML, Use-case diagram, Class diagram, Sequence diagram, State machine, Requirement model, Design model, Consistency, Refinement
-
分类号
TP311.132
[自动化与计算机技术—计算机软件与理论]
-
