【摘 要】
：
Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the devel
【出 处】
：
Journal of Shanghai University
论文部分内容阅读
Z has become recognized as a very effective formal specification language in improving the quality of software and ensuring the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients.
Z has been recognized as a very effective formal specification language in improving the quality of software and ensure the cost effectiveness of the development process. This paper presents part of a case study of Z notations, ClericalTemps, which is an agency that provides a clerical help to its clients.
其他文献
如果有人问我,你最崇拜谁?我会毫不犹豫地回答:我最崇拜护理事业的先驱——弗罗伦斯·南丁格尔。这大概是出于我对护理这个职业的酷爱吧。的确,这位十九世纪人类伟大、杰出
现在,全国很多城市的围产保健工作都取得了很大的成绩,但是,各地有关专家认为,在城市围产保健工作中,由于信息管理方法、技术和手段落后,严重地影响了围产保健工作的科研和
细胞因子对关节软骨基质合成的调节作用张小红许增禄（中国医学科学院中国协和医科大学基础医学研究所，北京１００００５）１．关节软骨的结构与成分关节软骨是一种特殊的结缔组织，它覆盖在关节的负
全国出生缺陷监测工作会议,于1987年3月6～10日在广州召开。来自全国29个省、市、自治区、直辖市的代表和全协领导小组的成员、组长、副组长单位共70余人,聚集一堂,认真地总结
内源性阿片肽（ＥｎｄｏｇｅｎｏｕｓＯｐｉｏｉｄＰｅｐｔｉｄｅ，ＥＯＰ）是心血管系统重要的调节肽。近年来发现心脏及血管壁均有ＥＯＰ及其受体的分布，提示ＥＯＰ对心血管活动的调节除中枢机制外亦存在外周机制。在缺血等应激状态下，ＥＯＰ大量释放，激动心
建国以来,我国卫生防疫事业有了很大发展。特别是党的十一届三中企会以来,在经济体制改革和两个文明建设的推动下,卫生防疫机构和队伍不断发展壮大,管理水平迅速提高,站长负
用ＣＭ—ＳｅｐｈａｄｅｘＣ—２５分离广西产眼镜王蛇毒，得到了１３个蛋白峰，测定了６种酶在这些峰的分布，其中７个峰有酸活性。并对含量高的Ｌ—氨基酸氧化酶进一步纯化，得到聚丙烯酰胺凝胶电泳纯一的Ｌ—氨基酸氧化酶
采用正交实验设计,利用二阶导数光谱法,以黄芩甙的含量测定为指标,筛选了酒炙黄芩的炮制条件。结果表明,最佳炮制条件为加酒量10%、加热温
Orthogonal experimental design
“轻可去实”一词源于南北朝北齐徐之才的《药对》。徐氏所言“轻剂”，指麻黄、葛根等轻扬宣散、解表发汗一类方药。后世医家对这一治法多有心得体验，又各见所长，不断拓展了“较
1986年,我们根据中央和省、市卫生工作改革精神的要求,首先在我市城区抓了以医院为中心搞好城市基层预防保健工作试点。在各级各类医院建立预防保健科,实行以块为主,条块结