 | 2008 |
|---|
| 64 |       | Jianwen Xiang,
Dines Bjørner,
Kokichi Futatsugi:
Formal digital license language with OTS/CafeOBJ method.
AICCSA 2008: 652-660 |
| 63 | | Dines Bjørner:
From Domain to Requirements.
Concurrency, Graphs and Models 2008: 278-300 |
| 62 | | Dines Bjørner:
John Warner Backus: 3 Dec 1924-17 March 2007.
Formal Asp. Comput. 20(3): 239-240 (2008) |
| 2007 |
|---|
| 61 | | Dines Bjørner:
Domain Theory: Practice and Theories A Discussion of Possible Research Topics.
ICTAC 2007: 1-17 |
| 60 |  | Dines Bjørner:
Development of Transportation Systems.
ISoLA 2007: 7 |
| 2005 |
|---|
| 59 | | Dines Bjørner:
A Cloverleaf of Software Engineering.
SEFM 2005: 75-85 |
| 2004 |
|---|
| 58 | | 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 |
| 57 | | Dines Bjørner:
The TRain Topical Day - A foreword.
IFIP Congress Topical Sessions 2004: 605-606 |
| 56 | | Dines Bjørner:
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering.
IFIP Congress Topical Sessions 2004: 607-612 |
| 55 | | Martin Penicka,
Dines Bjørner:
From railway resource planning to train operation.
IFIP Congress Topical Sessions 2004: 629-636 |
| 54 | | 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 |
| 53 | | 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 |
|---|
| 52 | | Dines Bjørner:
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.
Verification: Theory and Practice 2003: 100-144 |
| 2002 |
|---|
| 51 | | Dines Bjørner:
"What Is an Infrastructure?" Towards an Informatics Answer.
10th Anniversary Colloquium of UNU/IIST 2002: 173-190 |
| 2001 |
|---|
| 50 | | 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 |
| 49 | | Dines Bjørner:
On Formal Techniques in Protocol Engineering - Example Challenges.
FORTE 2001: 395-420 |
| 48 | | 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 |
|---|
| 47 | | 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 |
| 46 | | Dines Bjørner:
Domain Engineering: A Software Engineering Discipline in Need of Research.
SOFSEM 2000: 1-17 |
| 45 | | Dines Bjørner:
Pinnacles of software engineering: 25 years of formal methods.
Ann. Software Eng. 10: 11-66 (2000) |
| 1999 |
|---|
| 44 | | Dines Bjørner:
A Triptych Software Development Paradigm: Domain, Requirements and Software.
Correct System Design 1999: 29-60 |
| 1998 |
|---|
| 43 | | 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 |
|---|
| 42 | | 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- |
| 41 | | 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 |
| 40 | | Dines Bjørner:
A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.
SOFSEM 1997: 219-248 |
| 1996 |
|---|
| 39 | | 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 |
| 38 | | Dines Bjørner:
Semantics and Laws of Man-Made Infrastucture Systems (Abstract).
Ershov Memorial Conference 1996: 1 |
| 1995 |
|---|
| 37 | | Dines Bjørner:
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures.
APSEC 1995: 2-11 |
| 1994 |
|---|
| 36 | | Dines Bjørner:
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories".
IFIP Congress (3) 1994: 3-10 |
| 1993 |
|---|
| 35 | | 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 |
| 34 | | Dines Bjørner:
University Curricula in Software Technology.
Software Engineering Education 1993: 5-16 |
| 1992 |
|---|
| 33 | | 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 |
| 32 | | Dines Bjørner:
Trusted Computing Systems: The ProCoS Experience.
ICSE 1992: 15-34 |
| 31 | | 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 |
|---|
| 30 | | Janis Barzdins,
Dines Bjørner:
Baltic Computer Science, Selected Papers
Springer 1991 |
| 29 | | 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 |
|---|
| 28 | | 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 |
| 27 | | Dines Bjørner,
Larry E. Druffel:
Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods.
ICSE 1990: 264-266 |
| 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
FOCS 1970: 122-132 |
