Dines Bjørner

	2011
72		Dines Bjørner: Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions. Rainbow of Computer Science 2011: 167-183
71		Dines Bjørner: On "The Right" Software. Int. J. Software and Informatics 5(3): 509-523 (2011)
	2010
70		Dines Bjørner, Asger Eir: Compositionality: Ontology and Mereology of Domains. Concurrency, Compositionality, and Correctness 2010: 22-59
69		Dines Bjørner, Christian Gram, Ole N. Oest, Leif Rystrøm: Dansk Datamatik Center. History of Nordic Computing 2010: 350-359
68		Dines Bjørner: Triptych Process Model. Encyclopedia of Software Engineering 2010: 1230-1248
	2009
67		Dines Bjørner: Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! Ershov Memorial Conference 2009: 2-34
66		Dines Bjørner: Editorial. Int. J. Software and Informatics 3(2-3): 121-127 (2009)
	2008
65		Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi: Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660
64		Dines Bjørner: From Domain to Requirements. Concurrency, Graphs and Models 2008: 278-300
63		Dines Bjørner: John Warner Backus: 3 Dec 1924-17 March 2007. Formal Asp. Comput. 20(3): 239-240 (2008)
	2007
62		Dines Bjørner: Domain Theory: Practice and Theories A Discussion of Possible Research Topics. ICTAC 2007: 1-17
61		Dines Bjørner: Development of Transportation Systems. ISoLA 2007: 7
	2005
60		Dines Bjørner: A Cloverleaf of Software Engineering. SEFM 2005: 75-85
	2004
59		Dines Bjørner: Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 58-82
58		Dines Bjørner: The TRain Topical Day - A foreword. IFIP Congress Topical Sessions 2004: 605-606
57		Dines Bjørner: TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. IFIP Congress Topical Sessions 2004: 607-612
56		Martin Penicka, Dines Bjørner: From railway resource planning to train operation. IFIP Congress Topical Sessions 2004: 629-636
55		Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka: Towards a formal model of CyberRail. IFIP Congress Topical Sessions 2004: 657-664
54		Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika: "UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450
	2003
53		Dines Bjørner: Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. Verification: Theory and Practice 2003: 100-144
	2002
52		Dines Bjørner: "What Is an Infrastructure?" Towards an Informatics Answer. 10th Anniversary Colloquium of UNU/IIST 2002: 173-190
	2001
51		Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Springer 2001
50		Dines Bjørner: On Formal Techniques in Protocol Engineering - Example Challenges. FORTE 2001: 395-420
49		Dines Bjørner: On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. J. UCS 7(8): 641-667 (2001)
	2000
48		Dines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Springer 2000
47		Dines Bjørner: Domain Engineering: A Software Engineering Discipline in Need of Research. SOFSEM 2000: 1-17
46		Dines Bjørner: Pinnacles of software engineering: 25 years of formal methods. Ann. Software Eng. 10: 11-66 (2000)
	1999
45		Dines Bjørner: A Triptych Software Development Paradigm: Domain, Requirements and Software. Correct System Design 1999: 29-60
	1998
44		Dines Bjørner, Jorge Cuéllar: Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng. 6: 365-409 (1998)
	1997
43		Dines Bjørner, S. Koussoube, R. Noussi, G. Satchok: Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. ICFEM 1997: 263-
42		Dines Bjørner: Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. Requirements Targeting Software and Systems Engineering 1997: 1-41
41		Dines Bjørner: A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. SOFSEM 1997: 219-248
	1996
40		Dines Bjørner, Manfred Broy, Igor V. Pottosin: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Springer 1996
39		Dines Bjørner: Semantics and Laws of Man-Made Infrastucture Systems (Abstract). Ershov Memorial Conference 1996: 1
	1995
38		Dines Bjørner: Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. APSEC 1995: 2-11
	1994
37		Dines Bjørner: The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories". IFIP Congress (3) 1994: 3-10
	1993
36		Dines Bjørner, Manfred Broy, Igor V. Pottosin: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Springer 1993
35		Dines Bjørner: University Curricula in Software Technology. Software Engineering Education 1993: 5-16
	1992
34		Dines Bjørner, Jørgen Fischer Nilsson: Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. FGCS 1992: 191-198
33		Dines Bjørner: Trusted Computing Systems: The ProCoS Experience. ICSE 1992: 15-34
32		Dines Bjørner: From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research. IFIP Congress (1) 1992: 65-71
	1991
31		Janis Barzdins, Dines Bjørner: Baltic Computer Science, Selected Papers Springer 1991
30		Dines Bjørner, Søren Prehn: Formal Methods in Software Development: Requirements for a CASE. Software Development Environments and CASE Technology 1991: 178-210
	1990
29		Dines Bjørner, C. A. R. Hoare, Hans Langmaack: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Springer 1990
28		Dines Bjørner, Larry E. Druffel: Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. ICSE 1990: 264-266
	1989
27		Larry E. Druffel, Dick Fairley, Dines Bjørner: Proceedings of the 11th International Conference on Software Engineering, Pittsburg, PA, USA, May 15-18, 1989. IEEE Computer Society / ACM Press 1989
26		Dines Bjørner: Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). TAPSOFT, Vol.2 1989: 1-35
	1988
25		Dines Bjørner: Preface for the Special Issue (on Partial Evaluation and Mixed Computation). New Generation Comput. 6(2&3): 77-78 (1988)
	1987
24		Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings Springer 1987
23		Dines Bjørner: On the Use of Formal Methods in Software Development. ICSE 1987: 17-29
22		Dines Bjørner: The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. VDM Europe 1987: 77-96
	1986
21		Dines Bjørner: Software Development Graphs. A Unifying Concept for Software Development? FSTTCS 1986: 1-9
20		Dines Bjørner: Project Graphs and Meta-Programs. Towards a Theory of Software Development. System Development and Ada 1986: 117-152
	1984
19		Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155
	1982
18		Dines Bjørner, Hans Henrik Løvengreen: Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB 1982: 334-347
	1981
17		Dines Bjørner: The VDM Principles of Software Specification and Program Design. ICFPC 1981: 44-74
	1980
16		Dines Bjørner: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings Springer 1980
15		Dines Bjørner, Ole N. Oest: Towards a Formal Description of Ada Springer 1980
14		Preben Folkjär, Dines Bjørner: A Formal Model of a Generalized CSP-like Language. IFIP Congress 1980: 95-99
13		Dines Bjørner: Formal Description of Programming Concepts: A Software Engineering Viewpoint. MFCS 1980: 1-21
12		Dines Bjørner, Ole N. Oest: The DDC Ada Compiler Development Project. Towards a Formal Description of Ada 1980: 1-20
11		Dines Bjørner: Reference Manual for the Meta-Language. Towards a Formal Description of Ada 1980: 607-623
	1979
10		Dines Bjørner: Formalization of Data Base Models. Abstract Software Specifications 1979: 144-215
9		Dines Bjørner: Experiments in Block-structured GOTO Modelling: exits vs. Continuations. Abstract Software Specifications 1979: 216-247
	1978
8		Dines Bjørner, Cliff B. Jones: The Vienna Development Method: The Meta-Language Springer 1978
7		Dines Bjørner: The Vienna development method (VDM): Software specification & program synthesis. Mathematical Studies of Information Processing 1978: 326-359
6		Dines Bjørner: Programming in the META-Language: A Tutorial. The Vienna Development Method: The Meta-Language 1978: 24-217
5		Dines Bjørner: Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. The Vienna Development Method: The Meta-Language 1978: 337-374
	1977
4		Dines Bjørner: Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium 1977: 1-21
3		Dines Bjørner: Programming Languages: Linguistics and Semantics. International Computing Symposium 1977: 511-536
	1973
2		Dines Bjørner, E. F. Codd, Kenneth L. Deckert, Irving L. Traiger: The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations. IBM Research Report RJ1200: (1973)
	1970
1		Dines Bjørner: The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers SWAT (FOCS) 1970: 122-132

Coauthor Index

1	Mícheál Mac an Airchinnigh	[24]
2	Janis Barzdins (Janis Barzdin)	[31]
3	Hans Bekic	[19]
4	Manfred Broy	[36] [40] [48] [51]
5	Peter Chiang	[55]
6	E. F. Codd (Edgar F. Codd)	[2]
7	Jorge Cuéllar (Jorge Ricardo Cuellar)	[44]
8	Kenneth L. Deckert	[2]
9	Larry E. Druffel	[27] [28]
10	Asger Eir	[70]
11	Richard E. Fairley (Dick Fairley)	[27]
12	Preben Folkjär	[14]
13	Kokichi Futatsugi	[65]
14	Chris George	[54]
15	Christian Gram	[69]
16	Jens Kielsgaard Hansen	[55]
17	Anne Elisabeth Haxthausen	[54]
18	Wolfgang Henhapl	[19]
19	C. A. R. Hoare (Tony Hoare)	[29]
20	Steffen Holmslykke	[54]
21	Morten S. T. Jacobsen	[55]
22	Cliff B. Jones (Clifford B. Jones)	[8] [19] [24]
23	S. Koussoube	[43]
24	Hans Langmaack	[29]
25	Hans Henrik Løvengreen	[18]
26	Peter Lucas	[19]
27	Christian Krog Madsen	[54]
28	Michael P. Madsen	[55]
29	Erich J. Neuhold	[24]
30	Jørgen Fischer Nilsson	[34]
31	R. Noussi	[43]
32	Ole N. Oest	[12] [15] [69]
33	Martin Penicka	[55] [56]
34	Martin Pnika	[54]
35	Igor V. Pottosin	[36] [40]
36	Søren Prehn	[30]
37	Leif Rystrøm	[69]
38	G. Satchok	[43]
39	Irving L. Traiger	[2]
40	Jianwen Xiang	[65]
41	Alexandre V. Zamulin	[48] [51]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page