|
Meta-IV (specification Language)
The Meta-IV (pronounced like "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the development of computer-based systems. History One of the first occurrences of Meta-IV in print appears to be "Programming in the Meta-language: A Tutorial".Bjørner&Jones 1978, p24. Dines Bjørner used it in the very beginning of his tutorial as a footnote This paper provides an informal introduction to the "art" of abstractly specifying software architectures using the ''VDM'' meta-language*. A formal treatment of the semantics, as well as a BNF-like concrete syntax, of a large subset of the meta-language is given in ones 78afollowing this paper. The spirit of the Meta-IV specification language is well captured by the following passage We stress here... that the meta-language is to be used, not for solving algorithmic problems (on a computer), but for specifying, in an implementation-independent way, the architecture (or models) o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vienna Development Method
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 u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dines Bjørner
__NOTOC__ Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the United Nations University International Institute for Software Technology ( UNU-IIST), Macau, in 1992 and was its first director. His ''magnum opus'' on software engineering (three volumes) appeared in 2005/6. To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technical University Of Denmark
The Technical University of Denmark ( da, Danmarks Tekniske Universitet), often simply referred to as DTU, is a polytechnic university and school of engineering. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's first polytechnic, and it is today ranked among Europe's leading engineering institutions. It is located in the town Kongens Lyngby, north of central Copenhagen, Denmark. Along with École Polytechnique in Paris, École Polytechnique Fédérale de Lausanne, Eindhoven University of Technology, Technical University of Munich and Technion – Israel Institute of Technology, DTU is a member of EuroTech Universities Alliance. History DTU was founded in 1829 as the "College of Advanced Technology" (Danish: Den Polytekniske Læreanstalt). The Physicist Hans Christian Ørsted, at that time a professor at the University of Copenhagen, was one of the driving forces behind this initiative. He was inspired by the École Polytechnique in Paris, Fran ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dansk Datamatik Center
Dansk Datamatik Center (DDC) was a Danish software research and development centre that existed from 1979 to 1989. Its main purpose was to demonstrate the value of using modern techniques, especially those involving formal methods, in software design and software development, development. Three major projects dominated much of the centre's existence. The first concerned the formal specification and compilation of the CHILL, CHILL programming language for use in telecommunication switches. The second involved the formal specification and compilation of the Ada (programming language), Ada programming language. Both the Ada and CHILL efforts made use of formal methods. In particular, DDC worked with Meta-IV (specification language), Meta-IV, an early version of the specification language of the Vienna Development Method (VDM) formal method for the development of computer-based systems. As founded by Dines Bjørner, this represented the "Danish School" of VDM. This use of VDM ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cliff Jones (computer Scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. Prior to his DPhil, Jones worked for IBM, between the Hursley and Vienna Laboratories. In Vienna, Jones worked with Peter Lucas, Dines Bjørner and others on the Vienna Development Method (VDM), originally as a method for specifying the formal semantics of programming languages, and subsequently for specifying and verifying programs. Cliff Jones was a professor at the Victoria University of Manchester in the 1980s and early 1990s, worked in industry at Harlequin for a period, and is now a Professor of Computing Science at Newcastle University. He has been editor-in-chief of the ''Formal Aspe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods Europe
Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in scope. FME operates under Dutch law. Activities include or have included: * Dissemination of research findings and industrial experience through conferences (every 18 months) and sponsored events; * Development of information resources for educators; * Networking for commercial practitioners through ForTIA ( Formal Techniques Industry Association). The Chair of FME is John Fitzgerald of the University of Newcastle upon Tyne, UK. ForTIA The Formal Techniques Industry Association (ForTIA) aimed to support the industrial use of formal methods under the umbrella organization of ''Formal Methods Europe''. It was founded in 2003 through the initial efforts of Dines Bjørner and was chai ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *''Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *''Lecture Notes in Physics'' *''Lecture Notes in Mathematics'' *''Electronic Workshops in Computing ''Electronic Workshops in Computing'' (eWiC) is a publication series by the British Computer Society. The series provides free online access for conferences and workshops in the area of computing. For example, the EVA London Conference proceeding ...'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books Springer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
