RAISE Bibliography

• Automatic Generation of Ada Code with RAISE Formal Method
  A. Alapide, M. Cinnella and P. La Vopa.
  In Proceedings of Ada in AEROSPACE '92. EUROSPACE, 1993.

• The Viability of Applying RAISE to Ada Projects in Competitive Bid Companies
  A. Alapide, M. Cinnella and P. La Vopa.
  In Proceedings of Ada in AEROSPACE '92. EUROSPACE, 1993.

• Formal, Model-oriented Software Development Methods -- From VDM to ProCoS & from RAISE to LaCoS
  D. Bjørner, A. Haxthausen and K. Havelund.
  In Future Generation Computer Systems, (7), 1991/92.

• Higher Order Communicating Processes with Value-passing, Assignment and Return of Results
  D. Bolignano and M. Debabi.
  In Proceedings of ISAAC '92, volume 650 of Lecture Notes in Computer Science. Springer-Verlag, 1992.

• Vers une Semantique des Langages Parallèles, Fonctionnels avec des Extensions Impèratives
  D. Bolignano and M. Debabi.
  In Actes des Journèes Francophones des Langages Applicatifs, JFLA '93. INRIA, 1993.

• A Denotational Model for the Integration of Concurrent, Functional and Imperative Programming
  D. Bolignano and M. Debabi.
  In Proceedings of ICCI '93. IEEE, May 1993.

• A Coherent Type Inference System for a Concurrent, Functional and Imperative Programming Language
  D. Bolignano and M. Debabi.
  In Proceedings of AMAST '93. Springer-Verlag, 1993.

• On the Semantic Foundations of RSL: a Concurrent, Functional and Imperative Specification Language
  D. Bolignano and M. Debabi.
  In Proceedings of FORTE '93. Boston University, 1993.

• Using RAISE - First Impressions From a LaCoS User Trial
  D.L. Chalmers, B. Dandanell, J. Gørtz, J. Storbank Pedersen and E. Zierau.
  In Proceedings of VDM '91, volume 551 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

• Rigorous Development using RAISE
  B. Dandanell.
  In Proceedings of SIGSOFT '91. ACM, 1991.

• Fast and Rigorous Prototyping in Ada
  B. Dandanell.
  In Proceedings of Ada in AEROSPACE '91. EUROSPACE, 1992.

• Experiences from Applications of RAISE
  B. Dandanell, J. Gørtz, J. Storbank Pedersen and E. Zierau.
  In Proceedings of FME '93, volume 670 of Lecture Notes in Computer Science. Springer-Verlag, 1993.

• The RAISE Specification Language: A Tutorial
  C. George.
  In Proceedings of VDM '91, volume 551 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

• The NDB Database Specified in the RAISE Specification Language
  C. George.
  In Formal Aspects of Computer Science, (4), 1992.

• Specifying Safety and Progress Properties with RSL
  J. Gørtz.
  In Proceedings of FME '94, volume 873 of Lecture Notes in Computer Science. Springer-Verlag, 1994.

• Specifying and Refining Concurrent Systems --- an Example from the RAISE Project
  C.W. George and R.E. Milne.
  In Proceedings of 3rd Refinement Workshop. Springer-Verlag, 1990.

• A Concurrency Case Study Using RAISE
  A. Haxthausen and C. George.
  In Proceedings of FME '93, volume 670 of Lecture Notes in Computer Science. Springer-Verlag, 1993.

• Using Formal Methods for Developing Critical Programs in Ada
  B.D. Holdt-Jørgensen and S. Prehn.
  In Proceedings of Ada in AEROSPACE '90. EUROSPACE, 1991.

• RAISE: A Product Supporting Industrial Use of Formal Methods
  A. E. Haxthausen, J. Storbank Pedersen and S. Prehn.
  In Technique et Science Informatiques, 12(3). Afcet/Hermes, 1993.

• RAISE and ESA Software Lifecycle
  E. Manero.
  In Proceedings of Ada in AEROSPACE '91. EUROSPACE, 1992.

• Transforming Axioms for Data Types into Sequential Programs
  R.E. Milne.
  In Proceedings of 4th Refinement Workshop. Springer-Verlag, 1991.

• The RAISE Specification Language
  The RAISE Language Group.
  In BCS Practitioner Series. Prentice Hall International, 1992.

• The RAISE Development Method
  The RAISE Method Group.
  In BCS Practitioner Series. Prentice Hall, 1995.

• Use of the Formal Method RAISE in Practice
  E. Zierau.
  In Proceedings of SAFECOMP '94. 1994.

• Formal Development and Verification of a Distributed Railway Control System
  A.E. Haxthausen and J. Peleska.
  In Proceedings of FM'99 - Formal Methods, volume 1709 of Lecture Notes in Computer Science, Springer-Verlag, 1999.

• KVEST: Automated Generation of Test Suites from Formal Specifications
  I. Burdonov, A. Kossatchev, A. Petrenko and D. Galter.
  In Proceedings of FM'99 - Formal Methods, volume 1708 of Lecture Notes in Computer Science, Springer-Verlag, 1999.

Return to the RAISE page.