论文部分内容阅读
形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现；形式方法全目标软件系统的需求规格说明简明、精，精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然。
结构化面向对象形式规格说明语言OOZS--设计原理
【摘 要】
：
形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现；形式方法全目标软件系统的需求规格说明简明、精，精确，面向对象方法使目标软件系统的组织和分解工作更加
【机 构】
：
计算机工程与科学学院
【出 处】
：
上海大学学报：自然科学版
【发表日期】
：
1998年2期
【基金项目】
：
国家自然科学基金,上海市高校科技发展基金
其他文献
患者袁××,男,39岁,已婚,回族,河南省济源市农民。一年前,患者自述无明显原因出现左肋下疼痛,未经治疗自愈。近月余,左肋下疼痛复发,有时加重,伴全身无力,使用抗菌
弧菌属细菌是弧菌科的主要成员,目前已发现有30多种。这些弧菌天然的存在于江、河、湖、海及含盐水域中,其中有些可引起鱼类或虾类疾病,还有一些为水生动物体内正常菌群,通过
1988年,我省的疟疾防治工作,采取了以消灭传染源为主的综合性防治措施,因地制宜有所侧重地抓了各项抗疟措施的落实,取得了巩固成果、继续降低发病率、扩大基本消灭疟疾范围的
唐河县1983年底被定为河南省农村长期疾病监测点至今已七年了,现仅就几个方面谈谈自己的体会。 (一) 建立健全一支有水平的乡、村基层监测组织是开展疾病监测的保证,疾病监测
本研究是在河南省中部许昌市郊进行的,模拟了五种不同高度的农村住宅居室,分别在夏季和冬季,测定了室内外的微小气候,空气清洁度,受试者的生理反应和主观感觉。根据研究结果,
对于多属性决策问题,引进属性偏爱数概念.由此,依据问题的属性值的特点,提出了求解多属性决策问题的α-较多属性偏爱法.
用PatocI株抗原作快速玻片凝集试验诊断钩端螺旋体病(以下简称钩体病)为一简捷易行的方法。近来,江苏、海南、福建、四川等地先后将PatocI株抗原用于钩体病的血清学诊断,收到
介绍了自动测试系统的发展趋势,以及ATS开发平台Chroma8000系统的特点。阐述了OBCM的关键电气性能指标和测试方法。使用指数平均和移动平均的数据采集方法创建了基于Chroma80
通过计算对比连续弯桥与直桥的不同受力特点，并对不同约束方式对梁受力的影响进行了分析，结合工程实例，找到降低弯桥扭转效应的有效方式，用以指导设计工作。
就大型现代化工程和工业化基地建设的决策过程中如何把水文地质与环境问题纳入决策分析而展开研究,通过引入不确定型概念,计算利润、风险和成本,提出在增加环境和水文地质的