Dines Bjørner
Encyclopedia
Professor Dines Bjørner 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
in Vienna
(and elsewhere). Later he was involved with producing the RAISE
(Rigorous Approach to Industrial Software Engineering) formal method with tool support.
Bjørner has been a professor
at the Technical University of Denmark
(DTU) in Lyngby, close to Copenhagen
, Denmark
from 1965–1969 and 1976–2007, before he retired in March 2007. Inter alia, 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 activities. In 2003, he instigated the associated ForTIA
Formal Techniques Industry Association.
Dines Bjørner is a knight of the Order of the Dannebrog
in 1985. He received a Dr.h.c. from the Masaryk University
, Brno
, Czech Republic
in 2004. He is a Fellow of the IEEE (2004) and ACM
(2005). He is also member of the Academia Europaea
since 1989.
In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen
.
Bjørner is married to Kari Bjørner, with two children and five grandchildren.
Denmark
Denmark is a Scandinavian country in Northern Europe. The countries of Denmark and Greenland, as well as the Faroe Islands, constitute the Kingdom of Denmark . It is the southernmost of the Nordic countries, southwest of Sweden and south of Norway, and bordered to the south by Germany. Denmark...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
.
He specializes in research into domain engineering
Domain engineering
Domain engineering, also called product line engineering, is the entire process of reusing domain knowledge in the production of new software systems. It is a key concept in systematic software reuse. A key idea in systematic software reuse is the application domain, a software area that contains...
, requirements engineering
Requirements engineering
Requirements engineering is a systems and software engineering process which covers all of the activities involved in discovering, documenting and maintaining a set of requirements for a computer-based system...
and formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
. He worked with Cliff Jones and others on the Vienna Development Method
Vienna Development Method
The Vienna Development Method is one of the longest-established Formal Methods for the development of computer-based systems. Originating in work done at IBM's Vienna Laboratory in the 1970s, it has grown to include a group of techniques and tools based on a formal specification language - the VDM...
(VDM) at IBM
IBM
International Business Machines Corporation or IBM is an American multinational technology and consulting corporation headquartered in Armonk, New York, United States. IBM manufactures and sells computer hardware and software, and it offers infrastructure, hosting and consulting services in areas...
in Vienna
Vienna
Vienna is the capital and largest city of the Republic of Austria and one of the nine states of Austria. Vienna is Austria's primary city, with a population of about 1.723 million , and is by far the largest city in Austria, as well as its cultural, economic, and political centre...
(and elsewhere). Later he was involved with producing the RAISE
RAISE specification language
RAISE was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools based around a specification language for software development...
(Rigorous Approach to Industrial Software Engineering) formal method with tool support.
Bjørner has been a professor
Professor
A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...
at the Technical University of Denmark
Technical University of Denmark
The Technical University of Denmark , often simply referred to as DTU, is a university just north of Copenhagen, Denmark. It was founded in 1829 at the initiative of Hans Christian Ørsted as Denmark's first polytechnic, and is today ranked among Europe's leading engineering institutions, and the...
(DTU) in Lyngby, close to Copenhagen
Copenhagen
Copenhagen is the capital and largest city of Denmark, with an urban population of 1,199,224 and a metropolitan population of 1,930,260 . With the completion of the transnational Øresund Bridge in 2000, Copenhagen has become the centre of the increasingly integrating Øresund Region...
, Denmark
Denmark
Denmark is a Scandinavian country in Northern Europe. The countries of Denmark and Greenland, as well as the Faroe Islands, constitute the Kingdom of Denmark . It is the southernmost of the Nordic countries, southwest of Sweden and south of Norway, and bordered to the south by Germany. Denmark...
from 1965–1969 and 1976–2007, before he retired in March 2007. Inter alia, he was responsible for establishing the United Nations University
United Nations University
The United Nations University is an academic arm of the United Nations established in 1973, which serves purposes and principles of the Charter of the United Nations. The UNU undertakes research into the pressing global problems of human survival, development and welfare that are the concern of...
International Institute for Software Technology (UNU-IIST
UNU-IIST
The United Nations University International Institute for Software Technology is a United Nations University Research Training Centre based in Macau.-History:...
), Macau
Macau
Macau , also spelled Macao , is, along with Hong Kong, one of the two special administrative regions of the People's Republic of China...
, in 1992 and was its first director. His magnum opus
Masterpiece
Masterpiece in modern usage refers to a creation that has been given much critical praise, especially one that is considered the greatest work of a person's career or to a work of outstanding creativity, skill or workmanship....
on software engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
(three volumes) appeared in 2005/6.
To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe
Formal Methods Europe
Formal Methods Europe 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...
, an organization that supports conferences and related activities. In 2003, he instigated the associated ForTIA
ForTIA
The Formal Techniques Industry Association aims 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 is currently chaired by Volkmar Lotz. Its scope is international and...
Formal Techniques Industry Association.
Dines Bjørner is a knight of the Order of the Dannebrog
Order of the Dannebrog
The Order of the Dannebrog is an Order of Denmark, instituted in 1671 by Christian V. It resulted from a move in 1660 to break the absolutism of the nobility. The Order was only to comprise 50 noble Knights in one class plus the Master of the Order, i.e. the Danish monarch, and his sons...
in 1985. He received a Dr.h.c. from the Masaryk University
Masaryk University
Masaryk University 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 third Czech university , it now consists of nine faculties and 42,182 students...
, Brno
Brno
Brno by population and area is the second largest city in the Czech Republic, the largest Moravian city, and the historical capital city of the Margraviate of Moravia. Brno is the administrative centre of the South Moravian Region where it forms a separate district Brno-City District...
, Czech Republic
Czech Republic
The Czech Republic is a landlocked country in Central Europe. The country is bordered by Poland to the northeast, Slovakia to the east, Austria to the south, and Germany to the west and northwest....
in 2004. He is a Fellow of the IEEE (2004) and ACM
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
(2005). He is also member of the Academia Europaea
Academia Europaea
Academia Europæa is a European non-governmental scientific academy founded in 1988. Its members are scientists and scholars who collectively aim to promote learning, education and research. It publishes European Review through Cambridge Journals....
since 1989.
In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen
Zhou Chaochen
Zhou Chaochen is a Chinese computer scientist.Chaochen is a professor from Beijing, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences .He worked at...
.
Bjørner is married to Kari Bjørner, with two children and five grandchildren.
Selected books
- Software Engineering 1: Abstraction and Modelling, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-VerlagSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
. ISBN 3540211497 (2005). - Software Engineering 2: Specification of Systems and Languages, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-VerlagSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
. ISBN 3540211500 (2006). - Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-VerlagSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
. ISBN 3540211519 (2006). - Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice HallPrentice HallPrentice Hall is a major educational publisher. It is an imprint of Pearson Education, Inc., based in Upper Saddle River, New Jersey, USA. Prentice Hall publishes print and digital content for the 6-12 and higher-education market. Prentice Hall distributes its technical titles through the Safari...
. ISBN 0133290034 (1982). - The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-VerlagSpringer Science+Business Media- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
. ISBN 3540087664 (1978).