42:
740:
519:
824:
794:
799:
460:
779:
227:
814:
548:
829:
612:
356:
348:
340:
784:
298:
588:
Formal
Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
809:
592:
446:
428:
410:
392:
374:
535:
481:
438:
402:
384:
366:
578:
574:
197:
691:
552:
282:
220:
150:
88:
804:
634:
819:
209:
102:
774:
41:
224:
201:
154:
98:
189:
223:(DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the
789:
769:
266:
255:, an organization that supports conferences and related activities. In 2003, he instigated the associated
112:
638:
313:
252:
205:
117:
764:
245:
270:
185:
178:
608:
442:
424:
406:
388:
370:
352:
344:
336:
302:
600:
140:
749:
596:
332:
739:
518:
212:(Rigorous Approach to Industrial Software Engineering) formal method with tool support.
489:
437:, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61,
286:
278:
193:
419:, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science,
758:
420:
309:
586:
582:
745:
240:
591:. Papers presented at a Symposium held in Macao, China, September 24–25, 2007.
687:
661:
604:
319:
Bjørner is married to Kari Bjørner, with two children and five grandchildren.
216:
331:, Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series,
251:
To support VDM, Bjørner co-founded VDM-Europe, which subsequently became
231:
665:
290:
175:
69:
17:
730:
720:
509:
401:, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,
383:, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,
365:, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series,
308:
In 2007, a
Symposium was held in Macau in honour of Dines Bjørner and
534:, 3 volumes. Texts in Theoretical Computer Science, An EATCS Series,
329:
Domain
Science and Engineering: A Foundation for Software Development
256:
171:
65:
725:
399:
Software
Engineering 3: Domains, Requirements, and Software Design
235:
734:
513:
485:
294:
274:
122:
715:
381:
Software
Engineering 2: Specification of Systems and Languages
208:(and elsewhere). Later he was involved with producing the
825:
2005 fellows of the
Association for Computing Machinery
795:
Academic staff of the
Technical University of Denmark
281:
in 2004. In 2021, he obtained a Dr. techn. from the
146:
136:
108:
94:
84:
76:
48:
32:
461:International Journal of Software and Informatics
363:Software Engineering 1: Abstraction and Modelling
435:The Vienna Development Method: The Meta-Language
635:"FME Fellowship Awarded to Prof. Dines Bjørner"
228:International Institute for Software Technology
417:Formal Specification and Software Development
8:
800:Academic staff of United Nations University
662:"The 2021 FME Fellowship Acceptance Speech"
738:
517:
238:, in 1992 and was its first director. His
29:
301:(2005). He has also been a member of the
269:in 1985. He received a Dr.h.c. from the
473:
780:Technical University of Denmark alumni
260:Formal Techniques Industry Association
815:Knights of the Order of the Dannebrog
7:
660:Bjørner, Dines (20 September 2021).
312:. In 2021, Bjørner was elected to a
248:(three volumes) appeared in 2005/6.
25:
488:. 26 October 2023. Archived from
686:Bjørner, Dines (16 April 2016).
184:He specializes in research into
40:
692:Technical University of Denmark
553:Technical University of Denmark
283:Technical University of Denmark
265:Bjørner became a knight of the
221:Technical University of Denmark
151:Technical University of Denmark
89:Technical University of Denmark
1:
830:Members of Academia Europaea
482:"IFIP Announces 2023 Awards"
103:RAISE specification language
846:
785:Danish computer scientists
605:10.1007/978-3-540-75221-9
225:United Nations University
202:Vienna Development Method
170:(born 4 October 1937, in
160:
155:United Nations University
129:
99:Vienna Development Method
39:
27:Danish computer scientist
810:Computer science writers
748:publications indexed by
721:Biographical information
293:. He is a Fellow of the
190:requirements engineering
551:(in Danish). Denmark:
267:Order of the Dannebrog
113:Order of the Dannebrog
805:Formal methods people
639:Formal Methods Europe
314:Formal Methods Europe
253:Formal Methods Europe
206:IBM Laboratory Vienna
737:Bibliography Server
532:Software Engineering
516:Bibliography Server
246:software engineering
820:Fellows of the IEEE
775:People from Odense
750:Microsoft Academic
641:. 24 November 2021
595:. Vol. 4700.
316:(FME) Fellowship.
271:Masaryk University
200:and others on the
186:domain engineering
179:computer scientist
120:Fellowship (2021);
726:RAISE information
614:978-3-540-75220-2
357:978-3-030-73484-8
349:978-3-030-73486-2
341:978-3-030-73483-1
303:Academia Europaea
196:. He worked with
164:
163:
131:Scientific career
16:(Redirected from
837:
742:
703:
702:
700:
698:
683:
677:
676:
674:
672:
657:
651:
650:
648:
646:
631:
625:
624:
622:
621:
571:
565:
564:
562:
560:
545:
539:
530:Bjørner, Dines,
528:
522:
521:
507:
501:
500:
498:
497:
478:
141:Computer science
62:
58:
56:
44:
30:
21:
845:
844:
840:
839:
838:
836:
835:
834:
755:
754:
712:
707:
706:
696:
694:
685:
684:
680:
670:
668:
659:
658:
654:
644:
642:
633:
632:
628:
619:
617:
615:
585:, eds. (2007).
575:Jones, Cliff B.
573:
572:
568:
558:
556:
555:. 26 April 2021
547:
546:
542:
536:Springer-Verlag
529:
525:
508:
504:
495:
493:
480:
479:
475:
470:
456:
439:Springer-Verlag
403:Springer-Verlag
385:Springer-Verlag
367:Springer-Verlag
333:Springer Nature
325:
153:
121:
116:
85:Alma mater
72:
63:
60:
54:
52:
35:
28:
23:
22:
15:
12:
11:
5:
843:
841:
833:
832:
827:
822:
817:
812:
807:
802:
797:
792:
787:
782:
777:
772:
767:
757:
756:
753:
752:
743:
728:
723:
718:
711:
710:External links
708:
705:
704:
678:
652:
626:
613:
566:
540:
523:
502:
472:
471:
469:
466:
465:
464:
455:
452:
451:
450:
432:
414:
396:
378:
360:
324:
323:Selected books
321:
287:Kongens Lyngby
279:Czech Republic
215:Bjørner was a
194:formal methods
162:
161:
158:
157:
148:
144:
143:
138:
134:
133:
127:
126:
110:
106:
105:
96:
95:Known for
92:
91:
86:
82:
81:
78:
74:
73:
64:
59:4 October 1937
50:
46:
45:
37:
36:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
842:
831:
828:
826:
823:
821:
818:
816:
813:
811:
808:
806:
803:
801:
798:
796:
793:
791:
790:IBM employees
788:
786:
783:
781:
778:
776:
773:
771:
770:Living people
768:
766:
763:
762:
760:
751:
747:
746:Dines Bjørner
744:
741:
736:
732:
731:Dines Bjørner
729:
727:
724:
722:
719:
717:
714:
713:
709:
693:
689:
682:
679:
667:
663:
656:
653:
640:
636:
630:
627:
616:
610:
606:
602:
598:
594:
590:
589:
584:
583:Woodcock, Jim
580:
576:
570:
567:
554:
550:
544:
541:
537:
533:
527:
524:
520:
515:
511:
510:Dines Bjørner
506:
503:
492:on 2023-11-03
491:
487:
483:
477:
474:
467:
463:
462:
458:
457:
453:
448:
447:3-540-08766-4
444:
440:
436:
433:
430:
429:0-13-329003-4
426:
422:
421:Prentice Hall
418:
415:
412:
411:3-540-21151-9
408:
404:
400:
397:
394:
393:3-540-21150-0
390:
386:
382:
379:
376:
375:3-540-21149-7
372:
368:
364:
361:
358:
354:
350:
346:
342:
338:
334:
330:
327:
326:
322:
320:
317:
315:
311:
310:Zhou Chaochen
306:
304:
300:
296:
292:
288:
284:
280:
276:
272:
268:
263:
261:
258:
254:
249:
247:
243:
242:
237:
233:
229:
226:
222:
218:
213:
211:
207:
203:
199:
195:
191:
187:
182:
180:
177:
173:
169:
168:Dines Bjørner
159:
156:
152:
149:
145:
142:
139:
135:
132:
128:
125:Fellow (2023)
124:
119:
114:
111:
107:
104:
100:
97:
93:
90:
87:
83:
79:
75:
71:
67:
61:(age 86)
51:
47:
43:
38:
34:Dines Bjørner
31:
19:
695:. Retrieved
681:
669:. Retrieved
655:
643:. Retrieved
629:
618:. Retrieved
587:
579:Liu, Zhiming
569:
557:. Retrieved
543:
531:
526:
505:
494:. Retrieved
490:the original
476:
459:
434:
416:
398:
380:
362:
343:; softcover
335:. Hardcover
328:
318:
307:
305:since 1989.
264:
259:
250:
239:
214:
183:
167:
165:
147:Institutions
130:
765:1937 births
690:. Denmark:
688:"Biography"
671:11 December
645:11 December
297:(2004) and
241:magnum opus
198:Cliff Jones
77:Nationality
759:Categories
620:2020-12-25
496:2023-11-03
468:References
166:Professor
55:1937-10-04
716:Home page
697:18 August
549:"Årsfest"
538:(2005–6).
217:professor
204:(VDM) at
597:Springer
559:27 April
454:See also
351:; eBook
232:UNU-IIST
666:YouTube
449:(1978).
431:(1982).
413:(2006).
395:(2006).
377:(2005).
359:(2021).
291:Denmark
219:at the
174:) is a
115:(1985);
70:Denmark
18:Bjorner
611:
445:
427:
409:
391:
373:
355:
347:
339:
257:ForTIA
176:Danish
172:Odense
137:Fields
109:Awards
80:Danish
66:Odense
236:Macau
210:RAISE
735:DBLP
699:2019
673:2021
647:2021
609:ISBN
593:LNCS
561:2021
514:DBLP
486:IFIP
443:ISBN
425:ISBN
407:ISBN
389:ISBN
371:ISBN
353:ISBN
345:ISBN
337:ISBN
295:IEEE
275:Brno
192:and
123:IFIP
49:Born
733:at
601:doi
512:at
299:ACM
244:on
234:),
118:FME
761::
664:.
637:.
607:.
599:.
581:;
577:;
484:.
441:.
423:.
405:.
387:.
369:.
289:,
285:,
277:,
273:,
262:.
188:,
181:.
101:,
68:,
57:)
701:.
675:.
649:.
623:.
603::
563:.
499:.
230:(
53:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
