The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dines Bjørner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dines Bjørner, Hans Henrik Løvengreen
    Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). [Citation Graph (3, 7)][DBLP]
    VLDB, 1982, pp:334-347 [Conf]
  2. Dines Bjørner
    Formal Description of Programming Concepts: A Software Engineering Viewpoint. [Citation Graph (1, 0)][DBLP]
    MFCS, 1980, pp:1-21 [Conf]
  3. Dines Bjørner
    Formalization of Data Base Models. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:144-215 [Conf]
  4. Dines Bjørner
    Experiments in Block-structured GOTO Modelling: exits vs. Continuations. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:216-247 [Conf]
  5. Dines Bjørner
    Project Graphs and Meta-Programs. Towards a Theory of Software Development. [Citation Graph (0, 0)][DBLP]
    System Development and Ada, 1986, pp:117-152 [Conf]
  6. Dines Bjørner
    Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:2-11 [Conf]
  7. Dines Bjørner
    Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:100-144 [Conf]
  8. Dines Bjørner
    Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. [Citation Graph (0, 0)][DBLP]
    Essays in Memory of Ole-Johan Dahl, 2004, pp:58-82 [Conf]
  9. Dines Bjørner
    A Triptych Software Development Paradigm: Domain, Requirements and Software. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:29-60 [Conf]
  10. Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika
    "UML-ising' Formal Techniques. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:423-450 [Conf]
  11. Dines Bjørner
    Semantics and Laws of Man-Made Infrastucture Systems (Abstract). [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:1- [Conf]
  12. Dines Bjørner, Jørgen Fischer Nilsson
    Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:191-198 [Conf]
  13. Dines Bjørner
    Programming in the META-Language: A Tutorial. [Citation Graph (0, 0)][DBLP]
    The Vienna Development Method: The Meta-Language, 1978, pp:24-217 [Conf]
  14. Dines Bjørner
    Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. [Citation Graph (0, 0)][DBLP]
    The Vienna Development Method: The Meta-Language, 1978, pp:337-374 [Conf]
  15. Dines Bjørner
    The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1987, pp:77-96 [Conf]
  16. Dines Bjørner
    The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers [Citation Graph (0, 0)][DBLP]
    FOCS, 1970, pp:122-132 [Conf]
  17. Dines Bjørner
    On Formal Techniques in Protocol Engineering - Example Challenges. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:395-420 [Conf]
  18. Dines Bjørner
    Software Development Graphs. A Unifying Concept for Software Development? [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1986, pp:1-9 [Conf]
  19. Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas
    On the Formal Definition of a PL/I Subset (Selected parts). [Citation Graph (0, 0)][DBLP]
    Programming Languages and Their Definition, 1984, pp:107-155 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:263-0 [Conf]
  21. Dines Bjørner
    The VDM Principles of Software Specification and Program Design. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:44-74 [Conf]
  22. Dines Bjørner
    On the Use of Formal Methods in Software Development. [Citation Graph (0, 0)][DBLP]
    ICSE, 1987, pp:17-29 [Conf]
  23. Dines Bjørner
    Trusted Computing Systems: The ProCoS Experience. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:15-34 [Conf]
  24. Dines Bjørner, Larry E. Druffel
    Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:264-266 [Conf]
  25. Dines Bjørner
    Programming Languages: Formal Development of Interpreters and Compilers. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:1-21 [Conf]
  26. Dines Bjørner
    Programming Languages: Linguistics and Semantics. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:511-536 [Conf]
  27. Dines Bjørner
    The TRain Topical Day - A foreword. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:605-606 [Conf]
  28. Dines Bjørner
    TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:607-612 [Conf]
  29. Dines Bjørner
    From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1992, pp:65-71 [Conf]
  30. Dines Bjørner
    The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories". [Citation Graph (0, 0)][DBLP]
    IFIP Congress (3), 1994, pp:3-10 [Conf]
  31. Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka
    Towards a formal model of CyberRail. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:657-664 [Conf]
  32. Preben Folkjär, Dines Bjørner
    A Formal Model of a Generalized CSP-like Language. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:95-99 [Conf]
  33. Martin Penicka, Dines Bjørner
    From railway resource planning to train operation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress Topical Sessions, 2004, pp:629-636 [Conf]
  34. Dines Bjørner
    University Curricula in Software Technology. [Citation Graph (0, 0)][DBLP]
    Software Engineering Education, 1993, pp:5-16 [Conf]
  35. Dines Bjørner
    The Vienna development method (VDM): Software specification & program synthesis. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:326-359 [Conf]
  36. Dines Bjørner
    Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:1-41 [Conf]
  37. Dines Bjørner, Søren Prehn
    Formal Methods in Software Development: Requirements for a CASE. [Citation Graph (0, 0)][DBLP]
    Software Development Environments and CASE Technology, 1991, pp:178-210 [Conf]
  38. Dines Bjørner
    A Cloverleaf of Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:75-85 [Conf]
  39. Dines Bjørner
    Reference Manual for the Meta-Language. [Citation Graph (0, 0)][DBLP]
    Towards a Formal Description of Ada, 1980, pp:607-623 [Conf]
  40. Dines Bjørner, Ole N. Oest
    The DDC Ada Compiler Development Project. [Citation Graph (0, 0)][DBLP]
    Towards a Formal Description of Ada, 1980, pp:1-20 [Conf]
  41. Dines Bjørner
    Domain Engineering: A Software Engineering Discipline in Need of Research. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2000, pp:1-17 [Conf]
  42. Dines Bjørner
    A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1997, pp:219-248 [Conf]
  43. Dines Bjørner
    Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:1-35 [Conf]
  44. Dines Bjørner
    "What Is an Infrastructure?" Towards an Informatics Answer. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:173-190 [Conf]
  45. Dines Bjørner
    Pinnacles of software engineering: 25 years of formal methods. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2000, v:10, n:, pp:11-66 [Journal]
  46. Dines Bjørner, Jorge Cuéllar
    Software Engineering Education: Rôles of Formal Specification and Design Calculi. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1998, v:6, n:, pp:365-409 [Journal]
  47. Dines Bjørner
    On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:641-667 [Journal]
  48. Dines Bjørner
    Preface for the Special Issue (on Partial Evaluation and Mixed Computation). [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:77-78 [Journal]
  49. Dines Bjørner
    Domain Theory: Practice and Theories A Discussion of Possible Research Topics. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:1-17 [Conf]

  50. Formal digital license language with OTS/CafeOBJ method. [Citation Graph (, )][DBLP]


  51. From Domain to Requirements. [Citation Graph (, )][DBLP]


  52. Compositionality: Ontology and Mereology of Domains. [Citation Graph (, )][DBLP]


  53. Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! [Citation Graph (, )][DBLP]


  54. Development of Transportation Systems. [Citation Graph (, )][DBLP]


Search in 0.674secs, Finished in 0.677secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002