论文部分内容阅读
探索用基于公理理义的前后断言方法来刻划多线程程序的功能，设计了一个功能规格说明语言ＪＡＶＡＰＥＣ，用来形式地表达程序的功能规格说明，为支持多线程的Ｊａｖａ程序自动生成奠定了基础。
基于前后断言的多线程形式功能规格说明语言
【摘 要】
：
探索用基于公理理义的前后断言方法来刻划多线程程序的功能，设计了一个功能规格说明语言ＪＡＶＡＰＥＣ，用来形式地表达程序的功能规格说明，为支持多线程的Ｊａｖａ程序自动生成奠定了基础。
【机 构】
：
云南大学计算机科学系
【出 处】
：
云南大学学报：自然科学版
【发表日期】
：
1997年6期
【基金项目】
：
云南省应用基础研究基金，云南大学青年基金
其他文献
目的选择一种后路手术治疗椎管狭窄症较理想的方法.方法采用不切除棘突,用线锯从后正中线锯开棘突、椎板及黄韧带,扩大椎管,锯开的棘突间植入骨块并加以固定,治疗颈椎管狭窄9
目的介绍一种治疗高能量Pilon骨折的微创手术方法，并观察其效果。方法采用微创手术治疗12例Pilon骨折，随访7例。根据RuediAllgower分型，Ⅱ型4例，Ⅲ型3例。均采用三叶草型支持接
目的探讨小鱼际皮瓣的显微外科解剖学基础及游离移植修复指腹缺损的方法。方法10例废弃手标本，10倍手术显微镜下观察该皮瓣血管神经的显微结构特点，并应用该皮瓣游离移植修复指
2004年3月-2006年6月，笔者收治18例各类股骨中、上1／3骨折患者，均采用闭合复位、髓内钉内固定，疗效满意。
对基于Ｃ／Ｓ结构的ＷＷＷ与数据库的集成问题作了初步探讨，并分析了当前ＷＷＷ与数据库的几种集成方式。
2000年3月～2006年4月，我们采用扩大外侧入路，整复关节面及骨折，髂骨植骨并重建钢板内固定治疗跟骨关节内骨折10例（12足），疗效较佳。
利用空心阴极放电离子镀（ＨＣＤ）技术，在低合金钢（６５Ｍｎ）基底上沉积ＣｒＮ薄膜，研究了氮气分压对ＣｒＮ薄膜结构及显微硬度的影响
从二甘醇出发，经氯化反应，Ｗｉｌｌｉａｍｓｏｎ反应等两反应，合成二甘醇二甲醚。每一步反应都选择了两种方法进行比较，确定出了较优的反应操作条件。