B语言和方法与Z、VDM的比较

1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:

Z和VDM规格说明的差异比较

实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法描述等的形式化。形式化软件规格说明不仅是对用需求,也是对软件系统的严格定义。

ITS中VDM设备的研究与实现

文章介绍了专门用于ＩＴＳ（智能交通系统）中的一种多功能视频叠加设备──ＶＤＭ的设计。针对 ＩＴＳ应用中的主要特点和要求，ＶＤＭ采取了一些相应的技术措施，该设备现已被成功地应用于交通收费系统中。

改进数字显示方式VDM的OSDC设计实现

提出了一种基于O SDC的改进型数字视频混合器(VDM)的设计原理,实现了任意字符和图形在视频上的叠加显示,解决了字符大小和屏幕显示容量的矛盾,提高了汉字数字混合显示的美观性,增加了字符勾边显示功能,在不影响原视频图像显示信息量的前提下,增强了在强光下显示字符的可读性。

基于VDMS系统的通航船模操纵性率定研究

介绍了一种利用VDMS(Velocity Distribution Measuring System)系统配合自编程软件对通航船模进行船模操纵性率定的试验方法。探讨了利用VDMS系统如何有效降低操纵性率定试验的限制条件。通过实际案例验证,该方法可以对船模操纵性做出可靠的评价。

VDM算法在数据采掘中的应用

介绍了在数据库知识发现 (KDD)中将连续属性离散化的一些方法 ,并提出使用值差分度量离散化的算法 .值差分度量算法原本是用于计算离散属性值间的距离 ,但实际上将这种方法反过来用于连续属性的离散化也可以有相当好的效果 .将其与传统的使用统计量 χ2 的离散化算法作了比较 .

VDM在银行软件开发中的应用

针对银行软件的特点,阐述了VDM(Vienna Development Method,简称VDM)的由来、基本思想、优点及其开发步骤,并结合银行工作的实际情况,应用VDM对银行存款系统进行了规范说明、程序实现和程序验证,提高了银行存款系统的安全性和可靠性。

基于RUP和VDM++的软件形式化开发方法的研究

形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观,不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM++形式化方法结合在一起,提出了一种软件形式化开发方法,并通过开发一个实际的文件设备记账系统说明了该方法的可行性与有效性。

VDM和Z两种规范描述语言的比较

本文以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。

UML类模型的VDM++形式化规约

利用目前使用最为广泛的形式化验证语言VDM++在描述系统模型的语法和语义上的精确、一致的特点,结合VDMTOOLS和Rational Rose工具把UML类模型中的各个元素转化成VDM++表示,从而实现对UML类模型中所包含的各个元素进行语法和语义的检查。进一步提高UML的建模质量。

SMS西马克公司为蒂森克虏伯VDM公司提供厚板轧机

蒂森克虏伯VDM公司向SMS西马克公司发出订单，为西根厂订购1台2．7m的厚板轧机。新轧机将替换自1954年以来一直使用的现有轧机。新轧机的投产将使蒂森克虏伯VDM公司可以提供公差范围更小、更重的厚板产品。新轧机的轧制力为60MN，配备有液压调节系统并采用工作辊弯辊技术。SMS西马克公司供货范围包括带X—Pact轧机自动化控制系统、

维也纳开发方法(VDM)介绍

VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。

VDM:在CIMT2017上展示“德国制造”

日前,在CIMT2017展会开幕前际,德国机床制造商协会（VDW）在展会现场举办了新闻发布会,VDW经济部长Gerhard Hein、通快（中国）有限公司总经理顾永麟、埃马克（中国）机械有限公司CEO Uwe Ronde和巨浪（太仓）有限公司中国区总经理任家平发表主题演讲,介绍了最新产品和技术发展趋势。本届CIMT2017展会,约有200家德国企业在展会上展示实力,

奥托昆普VDM据称已吸引数家公司报价

7月1日出版的一家德国日报报道称，芬兰不锈钢生产商奥托昆普（Outokumpu）出售其岛性能合金业务VDM的努力已吸引了来自Triton、Apollo和KPS等私人直接投资公司的仞步报价，这些报价只有几亿欧元，低于奥托昆普期望的13亿欧元的水平。

奥托昆普认为与蒂森克虏伯的交易确保了特尔尼厂和VDM的价值，不参与蒂森克虏伯所持股权出售价格的议定

奥托昆普2013年11月30日宣布，为增强其资产负债表将采取的全面措施及将特尔尼厂和高性能合金单元VDM剥离给蒂森克虏伯以交换对后者的欠款（2013年9月末为12．69亿欧元）。

蒂森克虏伯VDM（中国）公司访问江苏大明

8月4日，蒂森克虏伯VDM（中国）公司总经理王大明先生等一行访问江苏大明，江苏大明公司总经理周克明先生、总经理助理钱立先生等热情接待了来访嘉宾，并陪同参观了大明加工中心生产现场。

蒂森克虏伯将出售合金子公司VDM

业内人士表示，德国钢铁生产商蒂森克虏伯已经指定德国银行负责其合金子公司VDM的销售事宜，并且在更多的重组措施实施之前，对于VDM的销售程序是不会启动的，而如果价格低于预期，蒂森克虏伯或将终止销售。

奥托昆普将特尔尼和VDM转让给蒂森克虏伯的交易完成

2月28日，奥托昆普（Outokumpu）与蒂森克虏伯（ThyssenKrupp）宣布，双方己完成了意大利特尔尼不锈钢厂、一些服务中心及VDM业务的剥离转让交易。

传Aperam等公司近期将对蒂森克虏伯VDM单元提出报价

据消息人士3月12日称，蒂森克虏伯生产镍合金、钛合金、特种不锈钢等产品的高性能合金单元VDM己吸引了Aperam等公司的兴趣。Aperam与Gores集团、Lindsay Goldberg预计近期提交报价。此交易没有规定严格的最终期限。不过，蒂森克虏伯等相关方对此消息并没有评论。

蒂森克虏伯澄清：没有进行出售VDM业务的谈判

蒂森克虏后首席执行官1月30日澄清称，公司没有进行有关高性能材料单元VDM的出售谈判。此前有德国媒体报道称，蒂森克虏伯正在就出售VDM进行高级会谈，Aperam是竞买的领跑者。该报道称，许多金融投资者仍在竞购，而Advent国际已退出了竞购行列。