论文部分内容阅读
介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。
一种面向对象的形式化规范说明技术——VDM＋＋
【摘 要】
：
介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。
【机 构】
：
计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
1996年6期
其他文献
我科自2000年10月-2006年4月对82例外伤陈旧性鼻中隔偏曲病人，应用鼻内窥镜手术矫正鼻中隔偏曲．取得满意效果．现报告如下：
改进优先比方案是将模糊理论中的相似优先比运用于负荷预测后发现原基本模型的某些不足之处而进一步提出的模型，主要吸收了模糊理论中综合评判思想，采用了多因素 归预测，充分考
通过对水下Ｃｏｎｔａｃｔ－Ａｒｃ－Ｍｅｔａｌ－Ｃｕｔｔｉｎｇ过程机理分析，得出该方法的最大切割速度的制约及最佳量值，为电极机械运行机构提出了设计基础。
在国际货物进出口贸易中，货物在海洋运输途中由于各种自然灾害或意外事故而导致损失，办理国际货物运输保险成为买卖双方预防和转嫁风险的主要手段。然而投保并不意味着货物在发
在荷兰首都阿姆斯特丹市内，堪称汉唐食府的“海上皇宫”，如今更是名副其实，显得格外耀眼。“海上皇宫”是荷京阿姆斯特丹运河上伫立的一座金碧辉煌、雕染画栋的巨型中国画舫，也是
心理健康是指人们对于环境以及人们相互问具有最高效率及快乐的适应情况，不只是要有效率，也不只是要能有满足感，或是能愉快地接受生活的规范，而是三者都具备。大学生阶段是青年人
痤疮是一种毛囊皮脂腺的慢性炎症性疾患，好发于青年人的面部，影响美容，临床上遇到许多月经不调、闭经等患者伴有痤疮，作者在专科门诊接诊这类病人时，通过辨证分型调理月经周期，每当
改革开放30年来，甘肃省经济社会取得了快速发展，全省GDP由1978年的6473亿元增长到2007年的26992亿元，年均增长945％。在经济社会快速发展的同时，甘肃省流通规模不断扩大，市场体系逐
本文进一步研究了“元件映射诊”，根据理想电路元件的映射理论，着重研究了电路基本参数的映射，并得出了相应的结论。
采用常规剂量清开灵注射液静滴治疗上呼吸道感染风热证伴发热患者111例,通过测量用药前后的体温来评价是否具有即刻退热作用,结果具有即刻退热作用的35例,占31.5%。说明常规