__NOTOC__ Professor Dines Bjørner (born 4 October 1937, in

Odense Odense ( , , ) is the third largest city in Denmark (behind Copenhagen and Aarhus) and the largest city on the island of Funen. As of 1 January 2022, the city proper had a population of 180,863 while Odense Municipality had a population of 20 ...

) is a

Danish Danish may refer to: * Something of, from, or related to the country of Denmark People * A national or citizen of Denmark, also called a "Dane," see Demographics of Denmark * Culture of Denmark * Danish people or Danes, people with a Danish a ...

computer scientist. He specializes in research into

domain engineering Domain engineering, is the entire process of reusing domain knowledge in the production of new software systems. It is a key concept in systematic code reuse, software reuse and product line engineering. A key idea in systematic software reuse is th ...

requirements engineering Requirements engineering (RE) is the process of defining, documenting, and maintaining requirements in the engineering design process. It is a common role in systems engineering and software engineering. The first use of the term ''requiremen ...

and

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

. He worked with Cliff Jones and others on the

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 ...

(VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the

RAISE Raise may refer to: Music *''Raise!'', the name of a 1981 album by Earth, Wind, and Fire * '' Raise'' (album), the name of a 1991 album by Swervedriver Place names * Raise, Cumbria, England * Raise (Lake District), the name of the 12th highe ...

(Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a

professor Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors ...

at the

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 fir ...

(DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the

United Nations University The (UNU) is the think tank and academic arm of the United Nations. Headquartered in Shibuya, Tokyo, Japan, with diplomatic status as a UN institution, its mission is to help resolve global issues related to human development and welfare thr ...

International Institute for Software Technology The United Nations University Institute in Macau, formerly the United Nations University International Institute for Software Technology (UNU-IIST; ; Portuguese: ''Instituto Internacional para Tecnologia de Programação da Universidade das Naç ...

( UNU-IIST),

Macau Macau or Macao (; ; ; ), officially the Macao Special Administrative Region of the People's Republic of China (MSAR), is a city and special administrative region of China in the western Pearl River Delta by the South China Sea. With a p ...

, in 1992 and was its first director. His ''

magnum opus A masterpiece, ''magnum opus'' (), or ''chef-d’œuvre'' (; ; ) in modern use is a creation that has been given much critical praise, especially one that is considered the greatest work of a person's career or a work of outstanding creativity, ...

'' on

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

(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 activities. In 2003, he instigated the associated ForTIA ''Formal Techniques Industry Association''. Bjørner became a knight of the Order of the Dannebrog in 1985. He received a Dr.h.c. from the

Masaryk University Masaryk University (MU) ( cs, Masarykova univerzita; la, Universitas Masarykiana Brunensis) is the second largest university in the Czech Republic, a member of the Compostela Group and the Utrecht Network. Founded in 1919 in Brno as the se ...

, Brno,

Czech Republic The Czech Republic, or simply Czechia, is a landlocked country in Central Europe. Historically known as Bohemia, it is bordered by Austria to the south, Germany to the west, Poland to the northeast, and Slovakia to the southeast. The ...

in 2004. In 2021, he obtained a Dr. techn. from the

Kongens Lyngby Kongens Lyngby (, Danish for "the King's Heather Town"; short form Lyngby) is the seat and commercial centre of Lyngby-Taarbæk Municipality in the northern suburbs of Copenhagen, Denmark. Lyngby Hovedgade is a busy shopping street and the site o ...

Denmark ) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of Denmark , establish ...

. He is a Fellow of the

IEEE The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operat ...

(2004) and ACM (2005). He has also been a member of the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

since 1989. In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen. In 2021, Bjørner was elected to a Formal Methods Europe (FME) Fellowship. Bjørner is married to Kari Bjørner, with two children and five grandchildren.

Selected books

* ''Domain Science and Engineering: A Foundation for Software Development'', Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series, Springer Nature. Hardcover ; softcover ; eBook (2021). * ''Software Engineering 1: Abstraction and Modelling'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

. (2005). * ''Software Engineering 2: Specification of Systems and Languages'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,

. (2006). * ''Software Engineering 3: Domains, Requirements, and Software Design'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,

. (2006). * ''Formal Specification and Software Development'', Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. (1982). * ''The Vienna Development Method: The Meta-Language'', Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61,

. (1978).

References

External links

Home page

Biographical information

RAISE information
* * {{DEFAULTSORT:Bjorner, Dines 1937 births Living people People from Odense Technical University of Denmark alumni Danish computer scientists IBM employees Technical University of Denmark faculty United Nations University faculty Formal methods people Computer science writers Knights of the Order of the Dannebrog Fellow Members of the IEEE Fellows of the Association for Computing Machinery Members of Academia Europaea

Selected books

See also

References

External links