The IMM/DTU RAISE Page
RAISE: Rigorous Approach to Industrial Software Engineering

Dines Bjørner

August 14, 2001

• This home page is at present being developed.
• For other home pages on RAISE see:
  • UNU/IIST
  • Terma Inc.
• A number of researchers at IMM: Informatics and Mathematical Modelling
  • Research,
  • Develop,
  • Use, and
  • Educate in RAISE.
• The RAISE-oriented researchers at IMM/DTU currently include:
  • Prof. Dines Bjørner: Co-designer, researcher and user of VDM since 1973, co-instigator &c. of EU/ESPRIT RAISE R&D Projects, etc.
  • Assoc.Prof. Anne Haxthausen: Co-designer of RSL, research into verifiable uses of RAISE, etc.
  • PhD Student Asger Eir: User of RAISE for Civil Engineering Project Documents.
  • PhD Student Morten Peter Lindegaard: Research into verifiable uses of RAISE, RAISE/RSL verification techniques and tools, etc.
  This group is under expansion.
• Please contact Dines Bjørner for information.
• Current IMM/DTU RAISE Documents:
  • Dines Bjørner:
    • Recently Published Papers notably featuring use of RAISE:
      • On Formal Techniques in Protocol Engineering - Example Challenges, Invited paper and Invited - extended -- talk [28 August] and lectures].
      • Informatics Models of Infrastructure Domains, Invited paper, (and Invited - extended -- talk [and lectures],).
      • ``What is a Method ?'' An Essay on some Aspects of Software Engineering - for IFIP WG2.3 Book (to be published 2001)
    • Draft Papers notably featuring use of RAISE:
      • Principles and Techniques of Abstract Modelling - Some Basic Classifications - Towards a Methodology of Software Engineering
      • Domain Engineering - A Prerequisite for Requirements Engineering - Principles and Techniques
      • Requirements Engineering - Some Principles and Techniques - Bridging Domain Engineering and Software Design
    • RAISE-based Lectures: Theory and Practice of Software Engineering:
      • Course Advertisement
      • Lecture Note Contents Listing
      • Paper on a contemplated Text Book
  • Anne E. Haxthausen:
    • To come.
  • Asger Eir:
    • MSc Thesis
  • Morten Peter Lindegaard:
    • M.P. Lindegaard, P. Viuf and A.E. Haxthausen. Modelling Railway Interlocking Systems. In E. Schnieder and U. Becker (eds.): Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, June 13-15, 2000, Braunschweig, Germany, pp. 211-217.
• More to come !