Abstract not found

ion and Program Synthesis, volume 75: Math. Studies of Information Processing of Lecture Notes in Computer Science. Springer-Verlag, 1979. [Bjo80a] D. Bjorner, editor. Abstract Software Specifications, volume 86 of Lecture Notes in Computer Science. Springer-Verlag, 1980. [Bjø80b] D. Bjørner. Application of formal models. In Data Bases. INFOTECH Proceedings, October 1980. [Bjø80c] D. Bjørner. Experiments in block-structured goto-modelling: Exits vs. continuations. [Bjo80a], pages 216--247, 1980. [Bjø80d] D. Bjørner. Formal description of programming concepts: a software engineering viewpoint. In MFCS '80, Lecture Notes Vol. 88, pages 1--21. Springer-Verlag, 1980. [Bjø81] D. Bjørner. The VDM principles of software specification and program design. In TC2 Work.Conf. on Formalization of Programming Concepts, pages 44--74, LNCS Vol. 107, 1981. IFIP, Springer-Verlag. [BL84] R. Bahlke and T. Letschert. Ausfuhrbare denotationale semantik. In Proc. 4, pages 3--19. Gl-Fachgesprach Implementie...

Abstract. In 1979 a software research and development centre was created to demonstrate the power of systematic and formal methods in software development. One of the first and biggest projects at Dansk Datamatik Center (DDC) was to develop an Ada compiler and run-time system. DDC made the first DoD validated Ada compiler in Europe, and the Ada project was carried on in a subsidiary called DDC–I, Inc. The paper describes the background and start of DDC and some aspects of the formal development method RAISE, Rigorous Approach to Industrial Software Engineering, as well as other DDC activities.