19 relations: Aarhus University, B-Method, BP, Computer scientist, Computer simulation, Denmark, Department of Computer Science, University of Oxford, Doctor of Philosophy, England, Formal methods, Formal specification, Internet Archive, Jean-Raymond Abrial, Microassembler, PDP-10, Programming Research Group, University of Oxford, Wolfson College, Oxford, Z notation.
Aarhus University
Aarhus University (Aarhus Universitet, abbreviated AU) is a public research university located in Aarhus, Denmark.
New!!: Ib Holm Sørensen and Aarhus University · See more »
B-Method
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.
New!!: Ib Holm Sørensen and B-Method · See more »
BP
BP plc (stylised as bp), formerly British Petroleum, is a British multinational oil and gas company headquartered in London, England.
New!!: Ib Holm Sørensen and BP · See more »
Computer scientist
A computer scientist is a person who has acquired the knowledge of computer science, the study of the theoretical foundations of information and computation and their application.
New!!: Ib Holm Sørensen and Computer scientist · See more »
Computer simulation
Computer simulation is the reproduction of the behavior of a system using a computer to simulate the outcomes of a mathematical model associated with said system.
New!!: Ib Holm Sørensen and Computer simulation · See more »
Denmark
Denmark (Danmark), officially the Kingdom of Denmark,Kongeriget Danmark,.
New!!: Ib Holm Sørensen and Denmark · See more »
Department of Computer Science, University of Oxford
The Department of Computer Science is the computer science department of the University of Oxford, England.
New!!: Ib Holm Sørensen and Department of Computer Science, University of Oxford · See more »
Doctor of Philosophy
A Doctor of Philosophy (PhD or Ph.D.; Latin Philosophiae doctor) is the highest academic degree awarded by universities in most countries.
New!!: Ib Holm Sørensen and Doctor of Philosophy · See more »
England
England is a country that is part of the United Kingdom.
New!!: Ib Holm Sørensen and England · See more »
Formal methods
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
New!!: Ib Holm Sørensen and Formal methods · See more »
Formal specification
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software.
New!!: Ib Holm Sørensen and Formal specification · See more »
Internet Archive
The Internet Archive is a San Francisco–based nonprofit digital library with the stated mission of "universal access to all knowledge." It provides free public access to collections of digitized materials, including websites, software applications/games, music, movies/videos, moving images, and nearly three million public-domain books.
New!!: Ib Holm Sørensen and Internet Archive · See more »
Jean-Raymond Abrial
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
New!!: Ib Holm Sørensen and Jean-Raymond Abrial · See more »
Microassembler
A microassembler is a computer program that helps prepare a microprogram, called firmware, to control the low level operation of a computer in much the same way an assembler helps prepare higher level code for a processor.
New!!: Ib Holm Sørensen and Microassembler · See more »
PDP-10
The PDP-10 is a mainframe computer family manufactured by Digital Equipment Corporation (DEC) from 1966 into the 1980s.
New!!: Ib Holm Sørensen and PDP-10 · See more »
Programming Research Group
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.
New!!: Ib Holm Sørensen and Programming Research Group · See more »
University of Oxford
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
New!!: Ib Holm Sørensen and University of Oxford · See more »
Wolfson College, Oxford
Wolfson College is a constituent college of the University of Oxford in England.
New!!: Ib Holm Sørensen and Wolfson College, Oxford · See more »
Z notation
The Z notation is a formal specification language used for describing and modelling computing systems.
New!!: Ib Holm Sørensen and Z notation · See more »
Redirects here:
Ib Holm, Ib Holm Sorensen, Ib Sorensen, Ib Sørensen.