-
题名一个实用的反汇编工具系统MTOA
- 1
-
-
作者
林子禹
黄水松
肖邵武
-
机构
武汉大学软件工程研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
1990年第9期47-56,共10页
-
文摘
本文通过对一个实用的反汇编工具系统MTOA的设计思想、系统功能、系统结构、处理流程和主要特点的讨论,阐述了反汇编工具的设计原理、方法和实现过程,并有效地解决了设计过程中存在的主要技术难点和关键问题,从而把反汇编出来的程序的质量提高到了一个崭新的水平。
-
关键词
反汇编工具
MTOA
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名转换机器码程序为汇编语言程序的原理和方法
- 2
-
-
作者
黄水松
林子禹
肖邵武
-
机构
武汉大学软件工程研究所
-
出处
《武汉大学学报(自然科学版)》
CSCD
1991年第4期22-28,共7页
-
文摘
本文给出了转换机器语言程序为汇编语言程序的一些原理和方法,包括分离指令控制流算法、控制流回溯技术、恢复数据定义和类型等。利用上述思想设计了一个 MTOA 系统,并获得了满意的结果,讨论了程序的等价性问题。
-
关键词
机器码程序
汇编语言
程序转换
-
Keywords
machine language program
assembler language
instruction control flow
translation of program
backtracking technique
method of address difference value
equivalence of program
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于研究型大学的继续教育团队建设初探
- 3
-
-
作者
程媛
彭正明
肖邵武
-
机构
武汉大学计算机学院
-
出处
《中国集体经济》
2015年第31期109-110,共2页
-
文摘
在研究型大学的建设过程中,要重视大学继续教育团队建设。一支高水平、高素质的教师队伍能够提高学校的综合实力及办学水平,从而帮助大学研究型的学科的形成。由此可见,加强教师团队建设对于高水平研究型大学的建设具有重要意义。为完成继续教育团队建设,激发教师潜力,就需要结合实际情况,建立研究型大学教师的奖励机制。
-
关键词
研究型大学
继续教育
团队建设
激励机制
-
分类号
G724
[文化科学—成人教育学]
-
-
题名研究型大学激励机制误区与解决对策探析
- 4
-
-
作者
程媛
彭正明
肖邵武
-
机构
武汉大学计算机学院
-
出处
《消费导刊》
2015年第8期377-377,379,共2页
-
文摘
优秀师资队伍建设是我国研究型大学的重要发展战略,现阶段研究型大学通过深化改革人事制度、完善培训制度以及提升工资与福利待遇后,取得了一定成果,有效提升了师资水平,但激励机制中存在的很多误区,使学校优秀人才大量流失,严重影响了优秀师资队伍的建设.本文从简述了目前研究型大学激励机制存在的问题,并探讨了完善激励机制的一些对策.
-
关键词
研究型大学
激励机制
误区
对策
-
分类号
G640
[文化科学—高等教育学]
-
-
题名UML在医疗保险管理信息系统领域模型设计中的应用
被引量:7
- 5
-
-
作者
林子禹
邓靖荒
唐胜群
肖邵武
-
机构
武汉大学软件工程国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第15期206-208,共3页
-
基金
国家自然科学基金(编号:6987306)
武汉大学软件工程国家重点实验室开放基金
-
文摘
该文详细描述了在医疗保险管理信息系统开发中,怎样使用UML犤1,2犦建模方法完成系统的分析与设计,建立领域模型的全过程,并与常规面向过程的PO(Process-Oriented)犤3犦方法进行了比较,说明了UML描述的应用系统模型的整体性能明显高于PO描述的整体性能。
-
关键词
UML
医疗保险
管理信息系统
模型设计
-
Keywords
UML ,Modeling method,domain model,Process Oriented,Object Oriented,medical insurance
-
分类号
F840.684
[经济管理—保险]
-