|
VDM Specification Language
The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems. Originating in work done at the IBM Laboratory Vienna in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which supports the modeling of object-oriented and concurrent systems. Support for VDM includes commercial and academic tools for analyzing models, including support for testing and proving properties of models and generating program code from validated VDM models. There is a history of industrial usage of VDM and its tools and a growing body of research in the formalism has led to notable contributions to the engineering of critical systems, compilers, concurrent systems and in logic for computer science. Philosophy Computing systems may be modeled in VDM-SL at a higher level of abstraction than is achievable using ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
|
 |
VDM Metals
VDM Metals Group (formerly Vereinigte Deutsche Metallwerke) based in Werdohl, Germany, is a manufacturer of corrosion-resistant, heat-resistant and high-temperature nickel alloys, cobalt and zirconium alloys as well as high-alloyed special stainless steels. These materials are used in the chemical process industry, the oil and gas industry, aerospace, automotive and electronics / electrical engineering. VDM Metals operates production sites in Germany (Altena, Siegen, Unna and Werdohl) and the United States ( Florham Park, NJ, and Reno, NV). The company employs about 2,000 people worldwide. History The original Vereinigte Deutsche Metallwerke AG (VDM) was founded in 1930 by the takeover of ''Heddernheimer Kupferwerk and Süddeutsche Kabelwerk AG'' in Frankfurt by ''Berg-Heckmann-Selve AG'' in Altena. The merger took place on the initiative of Metallgesellschaft, which was the main shareholder of Heddernheimer Kupferwerke since 1893 and also took over the majority of the new co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |