Search results

Jump to: navigation, search
  • 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)
    39 KB (5,003 words) - 18:53, 17 September 2017
  • "metaphor") was an early version of the specification language of the Vienna Development Method formal method for the development of computer-based systems. One
    8 KB (841 words) - 14:20, 26 January 2018
  • example of a leading formal specification language. Others include the Specification Language(VDM-SL) of the Vienna Development Method and the Abstract Machine
    11 KB (1,232 words) - 22:12, 9 October 2017
  • Dines Bjørner (category Formal methods people)
    engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later
    5 KB (473 words) - 00:03, 30 May 2017
  • Pseudocode (category Algorithm description languages)
    formal specification languages include set theory notation using special characters. Examples are: Z notation Vienna Development Method Specification Language
    12 KB (1,111 words) - 15:24, 24 January 2018
  • Cliff Jones (computer scientist) (category Formal methods people)
    also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna. He was a professor at the University of Manchester
    6 KB (468 words) - 14:48, 30 August 2017
  • Peter Lucas (computer scientist) (category Formal methods people)
    definition of the IBM programming language PL/I using the Vienna Definition Language (VDL), an important part of the formal method VDM. In addition, he worked
    7 KB (518 words) - 05:10, 23 January 2018
  • software interfaces - Vienna Development Method - Specification Language ISO/IEC 13817-1:1996 Part 1: Base language ISO/IEC 13818 Information technology
    641 KB (91,170 words) - 16:05, 11 February 2018
  • Dansk Datamatik Center (category Formal methods organizations)
    early version of the specification language of the Vienna Development Method (VDM) formal method for the development of computer-based systems. As founded
    29 KB (3,488 words) - 11:59, 2 February 2018
  • Enterprise Architect (software) (category Integrated development environments)
    Datex II specifications for exchanging traffic information Datex2 Geoscience Markup Language GeoSciML Geospatial Interoperability Specification ISO/TC
    25 KB (1,922 words) - 17:28, 14 February 2018
  • Specifications for defining, representing, interoperating and managing party information (e.g. name, address). DocBook — DocBook, a markup language for
    18 KB (2,028 words) - 01:32, 4 September 2017
  • "Eiffel — the Language". Retrieved 6 July 2016.  Formal Specification Languages: Eiffel, Denotational Semantics, Vienna Development Method, Abstract Machine
    51 KB (6,208 words) - 05:09, 12 January 2018
  • method. That standard should cover: the UVC functional specifications, the interface to call the methods, the model for the schema and for the schema to read
    28 KB (4,081 words) - 12:14, 24 August 2017
  • Information Retrieval Facility (category Education in Vienna)
    University of Vienna, Director of the Department of Corpuslinguistics and Text Technology, Austrian Academy of Sciences Jamie Callan, Professor, Language Technologies
    9 KB (986 words) - 21:41, 23 August 2016
  • Laboratory Vienna to make an unambiguous and complete specification. This led in turn to one of the first large scale Formal Methods for development, VDM.
    79 KB (10,267 words) - 22:57, 1 December 2017
  • Research Institute of Molecular Pathology (category Education in Vienna)
    in the molecular life sciences. The IMP is located at the Vienna Biocenter (VBC) in Vienna, Austria. The institute employs around 250 people from 36 nations
    12 KB (1,293 words) - 11:18, 5 January 2018
  • Reification (computer science) (category Formal methods terminology)
    abstract data types used in a formal specification. Data reification is the terminology of the Vienna Development Method (VDM) that most other people would
    17 KB (2,109 words) - 23:50, 2 December 2017
  • CAT-System using the Vienna Development Method, 1987. PLANC compiler - PLANC was the system language of Norsk Data - a language "defined by its implementation"
    13 KB (1,943 words) - 22:55, 8 August 2017
  • formed by templates or the development of templates for identifying source, problem or event. Common risk identification methods are: Objectives-based risk
    42 KB (5,592 words) - 20:09, 12 January 2018
  • International Commission on Illumination (category Organisations based in Vienna)
    international agreement on colorimetric specifications and updating the OSA's 1922 recommendations based on the developments during the past decade. The meeting
    6 KB (447 words) - 04:31, 24 September 2017

Results from sister projects

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)