Dines Bjørner's Bibliography:

Published Books, Journal and Proceedings Papers

Lecture Notes, Edited and Co-edited Books, A Few "Seminal" Reports

Compiled: May 28, 2009: 8:55 am

Bibliography

1
Dines Bjørner. Believable Software Management. Encyclopedia of Software Engineering, 1(1):1-32, 2008. (This is a new journal, published by Taylor & Francis, New York and London, edited by Philip Laplante).

2
Dines Bjørner. Domain Engineering -- A First Phase of Software Engineering and its relation to Requirements Engineering . To be submitted to Springer for evaluation in 2009, Summer 2009. Approximately 230 pages. See http://www.imm.dtu/~db/de+re-p.pdf.

3
Dines Bjørner. Domain Engineering. To be submitted to Springer for evaluation in 2009, Expected published 2010. The methodology part of this textbook is about 200 pages long; that part is supported by a number of example appendices of about 300 pages. The examples is that of an oil industry.

4
Dines Bjørner. Software Engineering, Vol. I: The Triptych Approach, Vol. II: A Model Development. To be submitted to Springer for evaluation in 2009, Expected published 2010. Either this book ms. is submitted or that of [3] is submitted. Decision on this to be made before Summer 2009. This book was the basis for guest lectures at Techn. Univ. of Graz, Oct.-Dec. 2008.

5
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering. JAIST Press, March 2009. The monograph contains the following chapters: [6,7,8,9,10,11,12,,14,15].

6
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 1: On Domains and On Domain Engineering - Prerequisites for Trustworthy Software - A Necessity for Believable Management, pages 3-38. JAIST Press, March 2009.

7
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 2: Possible Collaborative Domain Projects - A Management Brief, pages 39-56. JAIST Press, March 2009.

8
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 3: The Rôle of Domain Engineering in Software Development, pages 57-72. JAIST Press, March 2009.

9
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 4: Verified Software for Ubiquitous Computing - A VSTTE Ubiquitous Computing Project Proposal, pages 73-106. JAIST Press, March 2009.

10
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering, chapter 5: The Triptych Process Model - Process Assessment and Improvement, pages 107-138. JAIST Press, March 2009.

11
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 6: Domains and Problem Frames - The Triptych Dogma and M.A.Jackson's PF Paradigm, pages 139-175. JAIST Press, March 2009.

12
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 7: Documents - A Rough Sketch Domain Analysis, pages 179-200. JAIST Press, March 2009.

13
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 8: Public Government - A Rough Sketch Domain Analysis, pages 201-222. JAIST Press, March 2009.

14
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 9: Towards a Model of IT Security -- - The ISO Information Security Code of Practice - An Incomplete Rough Sketch Analysis, pages 223-282. JAIST Press, March 2009.

15
Dines Bjørner. Domain Engineering: Technology Management, Research and Engineering [5], chapter 10: Towards a Family of Script Languages - - Licenses and Contracts - Incomplete Sketch, pages 283-328. JAIST Press, March 2009.

16
Dines Bjørner. Domain Engineering. In BCS FACS Seminars, Lecture Notes in Computer Science, the BCS FAC Series (eds. Paul Boca and Jonathan Bowen), pages 1-42, London, UK, 2009. Springer.

17
Dines Bjørner. On Mereologies in Computing Science: Syntax and Semantics -- A Divertimento. In Festschrift for Tony Hoare, Festschrifts in Computer Science, the BCS FAC Series (eds. Bill Roscoe and Cliff Jones), London, UK, 2009. Springer.

18
Dines Bjørner. From Domains to Requirements. In Montanari Festschrift, volume 5065 of Lecture Notes in Computer Science (eds. Pierpaolo Degano, Rocco De Nicola and José Meseguer), pages 1-30, Heidelberg, May 2008. Springer.

19
Dines Bjørner and Aser Eir. Compositionality: Ontology and Mereology of Domains. Some Clarifying Observations in the Context of Software Engineering. In Festschrift for Prof. Willem Paul de Roever (Eds. Martin Steffen, Dennis Dams and Ulrich Hannemann, volume [not known at time of submission of the current paper] of Lecture Notes in Computer Science (eds. Martin Steffen, Dennis Dams and Ulrich Hannemann), pages 1-12, Heidelberg, July 2008. Springer.

20
Dines Bjørner. Domain Theory: Practice and Theories, Discussion of Possible Research Topics. In ICTAC'2007, volume 4701 of Lecture Notes in Computer Science (eds. J.C.P. Woodcock et al.), pages 1-17, Heidelberg, September 2007. Springer.

21
Dines Bjørner. Transportation Systems Development. In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation; Special Workshop Theme: Formal Methods in Avionics, Space and Transport, ENSMA, Futuroscope, France, December 12-14 2007.

22
Dines Bjørner. The Triptych Process Model: Process Assessment and Improvement. Techn. Memoranda IS-TM-2007-001, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn. ISSN 0918-7561, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., January 2007.

23
Dines Bjørner. The Rôle of Domain Engineering in Software Development. Techn. Memoranda IS-TM-2007-002, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn. ISSN 0918-7561, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., January 2007.

24
Dines Bjørner, Arimoto Yasuhito, Chen Xiaoyi, and Xiang Jianwen. A Family of License Languages. Techn. Memoranda IS-TM-2007-003, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn. ISSN 0918-7561, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., January 2007.

25
Dines Bjørner. MITS: Models of IT Security, Security Rules & Regulations: An Interpretation. Techn. Memoranda IS-TM-2007-004, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., January 2007.

26
Dines Bjørner. On Domain and Domain Engineering: Prerequisites for Trustworthy Software. A Necessity for Believable Management - A Technology Management Document. Techn. Memoranda IS-TM-2006-001, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 24 November 2006.

27
Dines Bjørner. Possible Collaborative `Domain' Projects - ATechnology Management Brief. Techn. Memoranda IS-TM-2006-002, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 24 November 2006.

28
Dines Bjørner. Verified Software for Ubiquitous Computing, A Proposed VSTTE/Ubiquitous Computing Foothill Proposal [Presented at 1AWCVS (First Asian Working Conference on Verified Systems), Macau 29-31 Oct., 2006]. Techn. Memoranda IS-TM-2006-003, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 19 December 2006.

29
Dines Bjørner. Public Government, A Domain Analysis [Presented May 1, 2006 at the UNU-IIST/Macau Government Conference on E-Government]. Techn. Memoranda IS-TM-2006-004, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 19 December 2006.

30
Dines Bjørner. Documents: A Domain Analysis. Techn. Memoranda IS-TM-2006-005, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 19 December 2006.

31
Dines Bjørner. Domains and Problem Frames (Invited keynote at IWAAPF, ICSE 2006 Satellite Event, Shanghai, May 2006). Techn. Memoranda IS-TM-2006-006, ISSN 0918-7561, Graduate School of Information Science & Technology, JAIST: Japan Adv. Inst. of Sci. and Techn., 1-1 Asahidai, Nomi, Ishikawa 923-1292, Hokuriku, Japan., 27 December 2006.

32
Dines Bjørner. Software Engineering, Vol. 1: Abstraction and Modelling. Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006.

33
Dines Bjørner. Software Engineering, Vol. 2: Specification of Systems and Languages. Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006. Chapters 12-14 are primarily authored by Christian Krog Madsen.

34
Dines Bjørner. Software Engineering, Vol. 3: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series. Springer, 2006.

35
Shaofa Yang and Dines Bjørner. A Formal Specification of CTP: Communicating Transaction Processes. Technical report, School of Computing, National University of Singapore, Science Drive 2, Singapore, June 2005.

36
Dines Bjørner. The TRain Topical Day. In Building the Information Society, IFIP 18th World Computer Congress, Tpical Sessions, 22-27 August, 2004, Toulouse, France -- Ed. Renéne Jacquart, pages 607-611. Kluwer Academic Publishers, August 2004. A Foreword.

37
Dines Bjørner. Towards a Formal Model of CyberRail. In Building the Information Society, IFIP 18th World Computer Congress, Tpical Sessions, 22-27 August, 2004, Toulouse, France -- Ed. Renéne Jacquart, pages 657-664. Kluwer Academic Publishers, August 2004. Original report also listed some of DB's students as co-authors.

38
Dines Bjørner, Chris W. George, Anne Eliabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, and Martin Penicka. ``UML''-ising Formal Techniques. In INT 2004: Third International Workshop on Integration of Specification Techniques for Applications in Engineering, volume 3147 of Lecture Notes in Computer Science, pages 423-450. Springer-Verlag, 28 March 2004, ETAPS, Barcelona, Spain. To be published in INT-2004 Proceedings, Springer-Verlag.

39
Martin Penicka and Dines Bjørner. From Railway Resource Planning to Train Operation -- a Brief Survey of Complementary Formalisations. In Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August, 2004, Toulouse, France -- Ed. Renéne Jacquart, pages 629-636. Kluwer Academic Publishers, August 2004.

40
Dines Bjørner. New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. In FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. Institut für Verkehrssicherheit und Automatisierungstechnik, Techn.Univ. of Braunschweig, Germany, 15-16 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany.

41
Dines Bjørner. Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering. In CTS2003: 10th IFAC Symposium on Control in Transportation Systems, Oxford, UK, August 4-6 2003. Elsevier Science Ltd. Symposium held at Tokyo, Japan. Editors: S. Tsugawa and M. Aoki.

42
Dines Bjørner. Logics of Formal Software Specification Languages -- The Possible Worlds cum Domain Problem. In Lefteris Kirousis, editor, Fourth Pan-Hellenic Symposium on Logic, Thessalonika, Greece, July 3-7 2003.

43
Albena Kirilova Strupchanska, Martin Penicka, and Dines Bjørner. Railway Staff Rostering. In FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L'Harmattan Hongrie, 15-16 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany.

44
Martin Penicka, Albena Kirilova Strupchanska, and Dines Bjørner. Train Maintenance Routing. In FORMS'2003: Symposium on Formal Methods for Railway Operation and Control Systems. L'Harmattan Hongrie, 15-16 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary. Editors: G. Tarnai and E. Schnieder, Germany.

45
Dines Bjørner. Some Thoughts on Teaching Software Engineering - Central Rôles of Semantics. In Liber Amicorum: Professor Jaco de Bakker, pages 27-45, Amsterdam, The Netherlands, 30 August 2002. Stichting Centrum voor Wiskunde en Informatica. Eds.: Frank de Boer, Marlin van der Heijden, Paul Klint, and Jan Rutten.

46
Dines Bjørner. ``What is a Method ?'' -- An Essay of Some Aspects of Software Engineering, chapter 9, pages 175-203. Monographs in Computer Science. IFIP: International Federation for Information Processing. Springer Verlag, New York, N.Y., USA, 2003. Programming Methodology: Recent Work by Members of IFIP Working Group 2.3. Eds.: Annabelle McIver and Carrol Morgan.

47
Dines Bjørner. What is an Infrastructure ? In Formal Methods at the Crossroads. From Panacea to Foundational Support, Lecture Notes in Computer Science, Heidelberg, Germany, 2003. Springer-Verlag. 10th Anniversary Colloquium of UNI/IIST, the International Institute for Software Technology of The United Nations University (Macau SAR, China), Lisbon, Portugal, March 18-20, 2002. Eds.: Tom Maibaum and Bernhard K. Aichernig, ISBN 3-540-20527-6.

48
Dines Bjørner. Towards ``Posite & Prove'' Design Calculi for Requirements Engineering and Software Design. In Essays and Papers in Memory of Ole-Johan Dahl, Lecture Notes in Computer Science. Springer-Verlag, 2004.

49
Dines Bjørner. Domain Engineering: A ``Radical Innovation'' for Systems and Software Engineering ? In Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, Heidelberg, October 7-11 2003. Springer-Verlag. The Zohar Manna International Conference, Taormina, Sicily 29 June - 4 July 2003.

50
Dines Bjørner, Chris W. George, and Søren Prehn. Computing Systems for Railways -- A Rôle for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications. In Integrated Design and Process Technology. Editors: Bernd Kraemer and John C. Petterson, P.O.Box 1299, Grand View, Texas 76050-1299, USA, 24-28 June 2002. Society for Design and Process Science.

51
Dines Bjørner. An Ontology for a TripTych Formal Software Development Method. In Radical Innovations for Systems and Software Engineering, The Monterey Workshops, page 45 pages, Venice, Italy, October 7-11 2002. Springer-Verlag.

52
Dines Bjørner. Domain Models of ``The Market'' -- in Preparation for E-Transaction Systems. In Practical Foundations of Business and System Specifications (Eds.: Haim Kilov and Ken Baclawski), The Netherlands, December 2002. Kluwer Academic Press.

53
Panagiotis Karras and Dines Bjørner. Train composition and decomposition: From passenger statistics to schedules. Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, October 2002. This is a report in the AMORE project series: [43,44]. 1
>Postscript documentdb01-emkt-a Dines Bjørner. Towards the E-Market: To understand the E-Market we must first understand ``The Market''. In Government E-Commerce Development. Ningbo Science & Technology Commission, Ningbo, Zhejian Province, China, 23-24 April 2001.

55
Dines Bjørner. Informatics Models of Infrastructure Domains. In Computer Science and Information Technologies, pages 13-73, Yerevan, Armenia, September 17-20 2001. National Academy of Sciences of Armenia, Institute for Informatics and Automation Problems.

56
Dines Bjørner. On Formal Techniques in Protocol Engineering: Example Challenges. In Formal Techniques for Networks and Distributed Systems (Eds.: Myungchul Kim, Byoungmoon Chin, Sungwon Kang and Danhyung Lee), pages 395-420. Kluwer, August 28-31 2001. Invited Key Lecture.

57
Dines Bjørner, M. Broy, and Alexandre V. Zamulin, editors. Perspectives of System Informatics, IV, volume 2244 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June -- 2 July 2001. Springer-Verlag.

58
Dines Bjørner. Danish document: Danske Infra-strukturer: Menneskeskabte Systemer og deres IT (Danish Infrastructures: Man-made Systems and their IT). Technical report, Informatics and Mathematical Modelling, Building 322, Richard Petersens Plads, Technical University of Denmark, DK-2800 Kgs.Lyngby, Denmark, Dec 2001. Postscript document.

59
Dines Bjørner. Pinnacles of Software Engineering: 25 Years of Formal Methods. Annals of Software Engineering, 10:11-66, 2000. Eds. Dilip Patel and Wang Yi.

60
Dines Bjørner. Informatics: A Truly Interdisciplinary Science -- Computing Science and Mathematics. In Drumei Bainov, editor, 9th Intl. Colloquium on Numerical Analysis and Computer Science with Applications, P.O.Box 45, BG-1504 Sofia, Bulgaria, 12-17 August 2000. Bulgarian Academy of Sciences, Academic Publications. Invited keynote.

61
Dines Bjørner. Informatics: A Truly Interdisciplinary Science -- Prospects for an Emerging World. In S. Balasubramanian, editor, Information Technology and Communication -- at the Dawn of the New Millenium, pages 71-84, Bangkok, Thailand, 1-4 August 2000. Asian Institute of Technology. Invited keynote.

62
Dines Bjørner. Domain Engineering, A Software Engineering Discipline in Need of Research. In SOFSEM'2000: Theory and Practice of Informatics, volume 1963 of Lecture Notes in Computer Science, pages 1-17, Milovy, Czech Republic, November 25 -- December 2 2000. Springer Verlag.

63
Dines Bjørner. Formal Software Techniques in Railway Systems. In Eckehard Schnieder, editor, 9th IFAC Symposium on Control in Transportation Systems, pages 1-12, Technical University, Braunschweig, Germany, 13-15 June 2000. VDI/VDE-Gesellschaft Mess- und Automatisieringstechnik, VDI-Gesellschaft für Fahrzeug- und Verkehrstechnik. Invited talk.

64
Dines Bjørner. Domain Engineering: ``Upstream'' from Requirements Engineering and Software Design. US ONR + Univ. of Genoa Workshop, Santa Margherita Ligure, June 2000. Ed.: Egidio Astesiano et al. Dept. of Informatics, Genoa Univ., Italy.

65
Dines Bjørner. Where do Software Architectures come from ? Systematic Development from Domains and Requirements. A Re-assessment of Software Engneering ? South African Journal of Computer Science, 22:3-13, March 1999. Editor: Chris Brink.

66
Dines Bjørner. Challenge '2000: some aspects of: ``How to Create a Software Industry''. In Proceedings of CSIC'99, Ed.: R. Jalili, 22 January 1999.

67
Dines Bjørner. A Triptych Software Development Paradigm: Domain, Requirements and Software. Towards a Model Development of A Decision Support System for Sustainable Development. In ErnstRüdiger Olderog and Bernhard Steffen, editors, Festschrift to Hans Langmaack: Correct Systems Design: Recent Insight and Advances, volume 1710 of Lecture Notes in Computer Science, pages 29-60. University of Kiel, Germany, Springer-Verlag, October 1999.

68
Dines Bjørner. Domain Modelling: Resource Management Strategics, Tactics & Operations, Decision Support and Algorithmic Software. In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Millenial Perspectives in Computer Science, Cornerstones of Computing (Ed.: Richard Bird and Tony Hoare), pages 23-40, Houndmills, Basingstoke, Hampshire, RG21 6XS, UK, 2000. Palgrave (St. Martin's Press). An Oxford University and Microsoft Symposium in Honour of Sir Anthony Hoare, September 13-14, 1999.

69
Dines Bjørner, Søren Prehn, and Chris W. George. Formal Models of Railway Systems: Domains. Technical report, Dept. of IT, Technical University of Denmark, Bldg. 344, DK-2800 Lyngby, Denmark, September 23 1999. Presented at the FMERail Workshop on Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM.

70
Dines Bjørner, Søren Prehn, and Chris W. George. Formal Models of Railway Systems: Requirements. Technical report, Dept. of IT, Technical University of Denmark, Bldg. 344, DK-2800 Lyngby, Denmark, September 23 1999. Presented at the FMERail Workshop on Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods, Toulouse, France. Avaliable on CD ROM.

71
Dines Bjørner, M. Broy, and I.V. Pottosin, editors. Perspectives of System Informatics, III, Lecture Notes in Computer Science, Heidelberg, Germany, July 6-9 1999. Springer-Verlag, Berlin.

72
Dines Bjørner. Software Engineeering: A New Approach. From domains via requirements to software. Formal specification and design calculi. Dept. of Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, Building 322, DK-2800 Lyngby, Denmark, 2000. Presently this document is a rather extensive (approx. 900 page) set of lecture notes. Postscript versions of the document are accessible over the web: http://www.it.dtu.dk/~db/s2000/notes.ps.

73
Dines Bjørner. Formal Methods in the 21st Century -- An Assessment of Today, Predictions for The Future -- Panel position presented at the ICSE'98, Kyoto, Japan. Technical report, Department of Information Technology, Software Systems Section, Technical University of Denmark, April 22-14 1998.

74
Dines Bjørner and Jorge R. Cuéllar. Software Engineering Education: Rôles of Formal Specification and Design Calculi. Annals of Software Engineering, 6:365-410, 1998. Published April 1999.

75
Dines Bjørner. Challenges in Domain Modelling -- Algebraic or Otherwise. Research, Department of Information Technology, Software Systems Section, Technical University of Denmark, DK-2800 Lyngby, Denmark, March 1998. Paper presented at the April 27-29 1998 CafeOBJ Workshop, Numazu, Japan. 41 pages.

76
Dines Bjørner. Issues in International Cooperative Research -- Why not Asian, African or Latin American `Esprits' ? Research, Department of Information Technology, Software Systems Section, Technical University of Denmark, DK-2800 Lyngby, Denmark, March 1998. Paper presented at the pre-ICSE'98 Asia Pacific Forum on Software Engineering, Kyoto, Japan, April 20-21, 1998. 25 pages.

77
Dines Bjørner. Domains as Prerequisites for Requirements and Software &c. In M. Broy and B. Rumpe, editors, RTSE'97: Requirements Targeted Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, pages 1-41. Springer-Verlag, Berlin Heidelberg, 1998.

78
Dines Bjørner. From Domain Engineering via Requirements to Software. Formal Specification and Design Calculi. In SOFSEM'97, volume 1338 of Lecture Notes in Computer Science, pages 219-248. Springer-Verlag, November 1997.

79
Dines Bjørner. Michael Jackson's Problem Frames: Domains, Requirements and Design. In Li ShaoYang and Michael Hinchley, editors, ICFEM'97: International Conference on Formal Engineering Methods, Los Alamitos, November 12-14 1997. IEEE Computer Society.

80
Dines Bjørner, Chris W. George, and Søren Prehn. Scheduling and Rescheduling of Trains, chapter 8, pages 157-184. Industrial Strength Formal Methods in Practice, Eds.: Michael G. Hinchey and Jonathan P. Bowen. FACIT, Springer-Verlag, London, England, 1999.

81
Dines Bjørner. UNU/IIST's Software Technology R&D in Africa, Asia, Eastern Europe, and Latin America. Technical report, UNU/IIST, P.O.Box 3058, Macau, August 1997. 210 pages. With contributions from UNU/IIST colleagues. Postscript document.

82
Dines Bjørner. Software Systems Engineering -- From Domain Analysis to Requirements Capture: An Air Traffic Control Example. In 2nd Asia-Pacific Software Engineering Conference (APSEC '95). IEEE Computer Society, 6-9 December 1995. Brisbane, Queensland, Australia.

83
Dines Bjørner, M. Broy, and I.V. Pottosin, editors. Perspectives of System Informatics, II, volume 735 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June -- 2 July 1996. Springer-Verlag, Berlin.

84
P.A.V. Hall, Dines Bjørner, and Z. Mikolajuk. Decision Support Systems for Sustainable Development: Experience and Potential -- a Position Paper. Administrative Report 80, UNU/IIST, P.O.Box 3058, Macau, August 1996.

85
Dines Bjørner. New Software Technology Development. Technical Report 46, UNU/IIST, P.O.Box 3058, Macau, November 1995. International Symposium: New IT for Governance and Publication Administration, Beijing, China; organized by UNDDSMS, June 1996.

86
Dines Bjørner. Software Support for Infrastructure Systems. Technical Report 47, UNU/IIST, P.O.Box 3058, Macau, November 1995. Position statement for the First Malaysia Information Technology Days: 1-3 November 1995 .

87
Dines Bjørner. Prospects for a Viable Software Industry -- Enterprise Models, Design Calculi, and Reusable Modules. In First ACM Japan Chapter Conference, Singapore, March 7-9 1994. World Scientific Publ. Appendix in collaboration with Søren Prehn and Dong Yulin.

88
Dines Bjørner, Yu Lin Dong, and Søren Prehn. Domain Analyses: A Case Study of Station Management. In KICS'94: Kunming International CASE Symposium, Yunnan Province, P.R.of China. Software Engineering Association of Japan, 16-20 November 1994.

89
Jan Goossenaerts and Dines Bjørner. An Information Technology Framework for Lean/Agile Supply-based Industries in Developing Countries. Technical Report 30, UNU/IIST, P.O.Box 3058, Macau, 1994. Published in Proceedings of the International Dedicated Conference on Lean/Agile Manufacturing in the Automotive Industries, ISATA, London, UK.

90
Jan Goossenaerts and Dines Bjørner. Interflow Systems for Manufacturing: Concepts and a Construction. Technical Report 31, UNU/IIST, P.O.Box 3058, Macau, 1994. Published in Proceedings of the European Workshop on Integrated Manufacturing Systems Engineering.

91
Dines Bjørner. University Curricula in Software Technology. Technical Report 7, UNU/IIST, P.O.Box 3058, Macau, March 15 1993. Keynote address: IFIP TC3 WG3.4/SRIG-ET (SEARCC) International Working Conference 1993: Software Engineering Education, Hong Kong, September 28 - October 2, 1993.

92
Dines Bjørner. Formal Models of Robots: Geometry & Kinematics, chapter 3, pages 37-58. Prentice-Hall International, January 1994. Eds.: W.Roscoe and J.Woodcock, A Classical Mind, Festschrift for C.A.R. Hoare.

93
Dines Bjørner, M. Broy, and I.V. Pottosin, editors. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, Heidelberg, Germany, 28 June -- 2 July 1993. Springer-Verlag, Berlin.

94
Dines Bjørner. Accreditation, Licensing and Certification; Curricula, Engineers and Software. Technical Report 14, UNU/IIST, P.O.Box 3058, Macau, 7 November 1993 1993, Revised 8 December 1993. Presented at the UNIDO/COGIT Meeting, Vienna, Austria, November 23, 1993.

95
Dines Bjørner. A Rôle for UNU/IIST: Developing Countries' Access to New Information Technologies. In Access to Science and Technology -- The Rôle of Information Technology. Kyoto University & UNU Press, May 12-14 1992.

96
Dines Bjørner. Trustworthy Computing Systems: The ProCoS Experience. In 14'th ICSE: Intl. Conf. on Software Eng., Melbourne, Australia, pages 15-34. ACM Press, May 11-15 1992.

97
Dines Bjørner. From Research to Practice: Self-reliance of the Developing World through Software Technology: Usage, Education & Training, Development & Research. In Jan van Lee7uwen, editor, Information Processing '92, IFIP World Congress '92, Madrid, pages 65-71. IFIP Transaction A-12: Algorithms, Software, Architecture, Sept. 7-11 1992.

98
Dines Bjørner, Anne Elisabeth Haxthausen, and Klaus Havelund. Formal, Model-oriented Software Development Methods: From VDM to ProCoS, and from RAISE to LaCoS. Future Generation Computer Systems, 1992.

99
Dines Bjørner and Jørgen Fischer Nilsson. Algorithmic & Knowledge Based Methods -- Do they ``Unify'' ? -- with some Programme Remarks for UNU/IIST. In International Conference on Fifth Generation Computer Systems: FGCS'92, pages (Separate folder, ``191-198''). ICOT, June 1-5 1992.

100
Dines Bjørner. Formal Software Development: Requirements for a CASE. In European Symposium on Software Development Environment and CASE Technology, Königswinter, FRG, June 17-21. Springer-Verlag, Heidelberg, Germany, 1991.

101
Dines Bjørner. Formal Specification is an Experimental Science (in English). In Intl. Conf. on Perspectives of System Informatics, 17-21 May 1991.

102
Dines Bjørner. Formal Specification is an Experimental Science (in Russian). Programmirovanie, 6:24-43, 1991.

103
Jan Barzdin and Dines Bjørner, editors. Baltic Computer Science, volume 502 of Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, Germany, 1991.

104
Dines Bjørner and V. Kotov, editors. Images of Programming: Dedicated to the Memory of Andrei P. Ershov. IFIP TC2. North-Holland Publ. Co., Amsterdam, The Netherlands, 1991.

105
Dines Bjørner and V. Kotov (eds.). Images of Programming: Dedicated to the Memory of Andrei P. Ershov. North-Holland Publ. Co., Amsterdam, The Netherlands, 11. Nov. 1991. Special issue: Theoretical Computer Science, vol. 90, no. 1.

106
Dines Bjørner, M. Broy, and I.V. Pottosin, editors. Perspectives of System Informatics, I, Lecture Notes in Computer Science, Heidelberg, Germany, May 27-30 1991. Springer-Verlag, Berlin.

107
Dines Bjørner. Software Development. Volume I: Specification Principles -- the VDM Approach. Lecture Notes, Department of Computer Science, Technical University of Denmark, 710 pages, 1992.

108
Dines Bjørner. Software Development. Volume II: Design Principles -- the VDM Approach. Lecture Notes, Department of Computer Science, Technical University of Denmark, 599 pages, Incomplete, 1992.

109
Dines Bjørner and Larry M. Druffel. Industrial Experience in using Formal Methods. In Intl. Conf. on Software Engineering, pages 264-266. IEEE Computer Society Press, 1990.

110
Dines Bjørner. A ProCoS Project Description. Published in two slightly different versions: (1) EATCS Bulletin, October 1989, (2) (Ed. Ivan Plander:) Proceedings: Intl. Conf. on AI & Robotics, Strebske Pleso, Slovakia, Nov. 5-9, 1989, North-Holland, Publ., Dept. of Computer Science, Technical University of Denmark, October 1989.

111
Dines Bjørner. Specification and Transformation: Methodology Aspects of the Vienna Development Method. In TAPSOFT'89, volume 352 of Lab. Note, pages 1-35. Springer-Verlag, Heidelberg, Germany, 1989.

112
Dines Bjørner. Towards a Meaning of `M' in VDM. In E.J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Reports, pages 137-258. Springer-Verlag, Heidelberg, Germany, 1991. An IFIP TC2 Seminar, Persepolis, Brasil.

113
Dines Bjørner. Facets of Software Development: Computer Science & Programming, Engineering & Management. J. of Comput. Sci. & Techn., 4(3):193-203, 1989.

114
A.P. Ershov, Dines Bjørner, Y. Futamura, K. Furukawa, A. Haraldson, and W. Scherlis, editors. Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed Computation, 1987 (New Generation Computing, vol. 6, nos. 2,3). Ohmsha Ltd. and Springer-Verlag, 1988.

115
Dines Bjørner, Andrei Petrovich Ershov, and Neil Deaton Jones, editors. Partial Evaluation and Mixed Computation. Proceedings of the IFIP TC2 Workshop, Gammel Avernæs, Denmark, October 1987. North-Holland, 1988. 625 pages.

116
Dines Bjørner. Conceptual Threads of Datalogy, Informatics and Information Technology. In Bl. Sendov and I. Stanchev, editors, Children in the Information Age: Opportunities for Creativity, Innovation and New Activities, pages 19-36. Pergamon Press, Oxford, Dec. 1988.

117
Dines Bjørner. On The Use of Formal Methods in Software Development. In Proc. of 9th International Conf. on Software Engineering, Monterey, California, pages 17-29. IEEE, April 1987.

118
Dines Bjørner. Aspects of the Rôle of Theory in the Computation Sciences and Engineering. In Bulletin, volume 32, pages 31-38. EATCS: European Assoc. f. Theoretical Comp. Sci., June 1987.

119
Dines Bjørner. Some thoughts on: Structures, Objectives and Management of Centres for Computation Sciences and Software Technology. In Bulletin, volume 32, pages 39-54. EATCS: European Assoc. f. Theoretical Comp. Sci., June 1987.

120
Dines Bjørner. The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. In See [121], volume 252 of Lecture Notes in Computer Science, pages 77-96. Springer-Verlag, Heidelberg, Germany, March 1987.

121
Dines Bjørner, Cliff B. Jones, Micheal Mac an Airchinnigh, and Erich J. Neuhold, editors. VDM - A Formal Method at Work. Proc. VDM-Europe Symposium 1987, Brussels, Belgium, Springer-Verlag, Lecture Notes in Computer Science, Vol. 252, March 1987.

122
Dines Bjørner. Software architectures and programming systems design. vols. i-vi. Techn. Univ. of Denmark, 1983-1987.

123
Dines Bjørner. Project Graphs and Meta-Programs: Towards a Theory of Software Development. In N. Habermann and U. Montanari, editors, Proc. Capri '86 Conf. on Innovative Software Factories and Ada, Lecture Notes on Computer Science. Springer-Verlag, May 1986.

124
Dines Bjørner. Software Development Graphs -- A Unifying Concept for Software Development? In K.V. Nori, editor, Vol. 241 of Lecture Notes in Computer Science: Foundations of Software Technology and Theoretical Computer Science, pages 1-9. Springer-Verlag, Dec. 1986.

125
Dines Bjørner. Software Engineering and Programming: Past-Present-Future. IPSJ: Inform. Proc. Soc. of Japan, 8(4):265-270, 1986.

126
Dines Bjørner and Mogens Nielsen. Meta Programs and Project Graphs. In ETW: Esprit Technical Week, pages 479-491. Elsevier, May 1985.

127
Dines Bjørner and Søren Prehn. Software Engineering Aspects of VDM. In D. Ferrari, editor, Theory and Practice of Software Technology. North-Holland Publ.Co., Amsterdam, 1983.

128
Dines Bjørner. Rigorous Development of Interpreters and Compilers. In See [132], chapter 9, pages 271-320. Prentice-Hall, 1982.

129
Dines Bjørner. Stepwise Transformation of Software Architectures. In See [132], chapter 11, pages 353-378. Prentice-Hall, 1982.

130
Dines Bjørner and Hans Henrik Løvengreen. Formal Semantics of Data Bases. In 8th Int'l. Very Large Data Base Conf., Mexico City, Sept. 8-10 1982.

131
Dines Bjørner and Hans Henrik Løvengreen. Formalization of Data Models. In Formal Specification and Software Development, [132], chapter 12, pages 379-442. Prentice-Hall, 1982.

132
Dines Bjørner and Cliff B. Jones, editors. Formal Specification and Software Development. Prentice-Hall, 1982.

133
Dines Bjørner, editor. Formal Description of Programming Concepts (II). IFIP TC-2 Work.Conf., Garmisch-Partkirschen, North-Holland Publ.Co., Amsterdam, 1982.

134
Dines Bjørner. Experiments in Block-Structured GOTO-Modelling: Exits vs. Continuations. In Dines Bjørner, editor, Abstract Software Specification, [143], volume 86 of Lecture Notes in Computer Science, pages 216-247. Springer-Verlag, 1980.

135
Dines Bjørner. Formalization of Data Base Models. In Dines Bjørner, editor, Abstract Software Specification, [143], volume 86 of Lecture Notes in Computer Science, pages 144-215. Springer-Verlag, 1980.

136
Dines Bjørner. Formal Description of Programming Concepts: a Software Engineering Viewpoint. In MFCS'80, Lecture Notes Vol. 88, pages 1-21. Springer-Verlag, 1980.

137
Dines Bjørner. Application of Formal Models. In Data Bases. INFOTECH Proceedings, October 1980.

138
Dines Bjørner. The VDM Principles of Software Specification and Program Design. In TC2 Work.Conf. on Formalisation of Programming Concepts, Peniscola, Spain, pages 44-74, LNCS Vol. 107, 1981. IFIP, Springer-Verlag.

139
Dines Bjørner. Realization of Database Management Systems. In See [132], chapter 13, pages 443-456. Prentice-Hall, 1982.

140
Preben Folkjær and Dines Bjørner. A Formal Model of a Generalised CSP-like Language. In S.H. Lavington, editor, Proc. IFIP'80, pages 95-99. North-Holland Publ.Co., Amsterdam, 1980.

141
Hans Henrik Løvengreen and Dines Bjørner. On a formal model of the tasking concepts in Ada. In ACM SIGPLAN Ada Symp., Boston, 1980.

142
Dines Bjørner and Ole N. Oest. The DDC Ada Compiler Development Project. In Dines Bjørner and Ole N. Oest, editors, Towards a Formal Description of Ada, [144], volume 98 of Lecture Notes in Computer Science, pages 1-19. Springer-Verlag, 1980.

143
Dines Bjørner, editor. Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science. Springer-Verlag, 1980.

144
Dines Bjørner and Ole N. Oest, editors. Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science. Springer-Verlag, 1980.

145
Dines Bjørner. The Systematic Development of a Compiling Algorithm. In Amirchahy and Neel, editors, Le Point sur la Compilation, pages 45-88. INRIA Publ. Paris, 1979.

146
Dines Bjørner. Programming in the Meta-Language: A Tutorial. In Dines Bjørner and Cliff B. Jones, editors, The Vienna Development Method: The Meta-Language, [149], Lecture Notes in Computer Science, pages 24-217. Springer-Verlag, 1978.

147
Dines Bjørner. Software Abstraction Principles: Tutorial Examples of an Operating System Command Language Specification and a PL/I-like On-Condition Language Definition. In Dines Bjørner and Cliff B. Jones, editors, The Vienna Development Method: The Meta-Language, [149], Lecture Notes in Computer Science, pages 337-374. Springer-Verlag, 1978.

148
Dines Bjørner. The Vienna Development Method: Software Abstraction and Program Synthesis. In Mathematical Studies of Information Processing, volume 75 of Lecture Notes in Computer Science. Springer-Verlag, 1979. Proceedings of Conference at Research Institute for Mathematical Sciences (RIMS), University of Kyoto, August 1978.

149
Dines Bjørner and Cliff B. Jones, editors. The Vienna Development Method: The Meta-Language, volume 61 of Lecture Notes in Computer Science. Springer-Verlag, 1978. This was the first monograph on Meta-IV. [146,147,148].

150
Dines Bjørner. Programming Languages: Linguistics and Semantics. In International Computing Symposium 77, pages 511-536. European ACM, North-Holland Publ.Co., Amsterdam, 1977.

151
Dines Bjørner. Programming Languages: Formal Development of Interpreters and Compilers. In International Computing Symposium 77, pages 1-21. European ACM, North-Holland Publ.Co., Amsterdam, 1977.

152
Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, and Peter Lucas. A Formal Definition of a PL/I Subset. Technical Report 25.139, IBM Laboratory, Vienna, 20 September 1974.

153
Dines Bjørner, E. F. Codd, K. Deckert, and I. L. Traiger. The GAMMA-0 Relational Data Base Interface Specifications of Objects and Operations. Techn. Report RJ-1200, IBM Research, San José, Calif., April 1973.

154
Dines Bjørner. Finite State Tree Computations (Part I). Research Rept. RJ-1053, IBM Research, San Joé, Calf., June 1972.

155
Dines Bjørner. On the Definition of Higher Level Language Machines. In Computers and Automata, volume 21 of Microwave Research Inst. Symposia. Polytechnic Inst. of Brooklyn, N.Y., USA, 1971.

156
Dines Bjørner. A Flow Mode, Self-Steering, Cellular Multiplier-Summation Processor. BIT, 10(2):125-14, 1970.

157
Dines Bjørner. The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers. In SWAT (Symp. Switch. & Autom. Theory), pages 122-132. IEEE, Oct. 1970.

158
Dines Bjørner. Flowchart-Machines. BIT, 10(4):415-442, 1970.

159
Dines Bjørner. Folded Syntax- and Recursive Flowchart-Machines. In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 415-453, January 1970.

160
Dines Bjørner. Register Transfer and Transformation Machines. In HICSS (Hawaii Int'l. Conf. Sys. Sci.), pages 61-63, January 1970.

161
Dines Bjørner. Finite State Automaton Definition of Data Communication Line Control Procedures. In FJCC (Fall Joint Comp. Conf.), volume 37, pages 477-491. AFIPS, November 1970.

162
Dines Bjørner, editor. Data Description & Access. 1st ACM SICFIDET Workshop, Assoc.f.Comp.Mach., N.Y., USA, 15-16 November 1970.

163
Dines Bjørner. The Theory of Finite State Syntax Directed Transductions. PhD thesis, Dept. of Comp. Sci., Techn. Univ. of Denmark, January 1969.

About this document ...

Dines Bjørner's Bibliography:

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 publications

The translation was initiated by Dines Bjorner on 2009-05-28

Dines Bjorner 2009-05-28