【摘 要】
：
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统
【基金项目】
：
国家自然科学基金,上海市高校科技发展基金
论文部分内容阅读
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制，并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点，引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制，并对Ｚ语言的符号进行结构化处理，提高了形式规格说明的层次性和模块化能力，可用于大型面向对象软件系统需求规格说明的编写
其他文献
针对目前国内区间盾构施工和车站施工工期矛盾的问题,提出盾构法和浅埋暗挖法结合建造地铁车站的新方案。通过1∶10大比尺模型试验研究,介绍模型地层、开挖方案和支护方案的
本硕士论文选择唐县方言词汇作为研究课题,唐县方言属于冀鲁官话保唐片定霸小片。唐县方言在北方官话中是比较有特色的一个方言点,前人对唐县方言的研究主要集中在语音和语法
调速型液力耦合器在转动机械中应用广泛。工作油系统是液力耦合器的关键环节，而工作油温问题时常影响液力耦合器的正常使用。在对液力耦合器滑差损失分析的基础上，利用解析方法
系统地阐述了地空反辐射导弹武器系统与常规防空装备混编作战的必要性及SA-ARM混成群内涵,并从作战目标、作战过程、火力打击三个方面深入分析了SAARM武器系统作战使用特点。
合成气发酵法制备乙醇工艺集成了热化学法和生物发酵法这两种工艺优势,受到越来越多人的关注。工艺的主要过程有：生物质经过气化炉的气化,产生高温粗合成气,合成气经过冷却、
随着我国改革开放战略的深入发展 ,社会转型和经济转制过程中出现许多新的变化 ,“单位”的社会功能正在逐步弱化 ,城市社区的作用变得越来越重要 ,而社区经济方面的问题也开
目的探讨爱维治(小牛血去蛋白提取物)防治胸部肿瘤急性放射性食管炎的疗效。方法62例食管癌、肺癌和胸腺瘤患者入本研究,将其随机分为两组,试验组32例,对照组30例。试验组在
为贯彻教育部关于进一步深化本科教学改革的精神,大胆创新人才培养模式和方法,上海外国语大学于2007年9月创办了旨在培养具有多种外语能力的国际公务员实验班。本文阐述了创
1999年,苏珊.巴斯内特和哈瑞什.特里维蒂把后殖民写作纳入后殖民翻译研究的范畴。文章考察了几位学者把后殖民写作和后殖民翻译研究联系起来的原因,拉什迪作品中的翻译之意义
在量化考核、学术GDP挂帅、全球"点对点"搜猎人才风行中国学界之际,富含创造力、凝聚力的学术共同体的诞生,似乎更加成为一个遥不可及的梦。培育学术共同体,事实上已经成为推