Advertisement

Formal methods technology transfer: Impediments and innovation (abstract)

  • Dan Craigen
Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 962)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    G. Archinoff, et al. “Verification of the Shutdown System Software at the Darlington Nuclear Generating Station.” International Conference on Control Instrumentation and Nuclear Installations, Glasgow, Scotland, May 1990.Google Scholar
  2. 2.
    G. Barrett. “Formal Methods Applied to a Floating Point Number System.” IEEE Transactions on Software Engineering, 1989.Google Scholar
  3. 3.
    S. Bear. “An Overview of HP-SL.” Proceedings of VDM'91: Formal Development Methods, Volume 551, Lecture Notes in Computer Science, Springer-Verlag, 1991.Google Scholar
  4. 4.
    D. Brownbridge. “Using Z to Develop a CASE Toolset.” 1989 Z User Meeting, Workshops in Computing, Springer-Verlag 1989.Google Scholar
  5. 5.
    M. Carnot, C. DaSilva, B. Dehbonei and F. Meija. “Error-free Software Development for Critical Systems using the B methodology.” Third International Symposium on Software Reliability Engineering, IEEE, 1992.Google Scholar
  6. 6.
    Dan Craigen, Susan Gerhart, Ted Ralston. “Formal Methods Reality Check: Industrial Usage.” IEEE Transactions on Software Engineering, 21(2), February 1995.Google Scholar
  7. 7.
    Dan Craigen, Susan Gerhart, Ted Ralston. “An International Survey of Industrial Applications of Formal Methods.” U.S. National Institute of Standards and Technology, March 1993, Technical Report NIST GCR 93/626 (Volumes 1 and 2). Also published by the U.S. Naval Research Laboratory (Formal Report 5546-93-9582, September 1993) and the Canadian Atomic Energy Control Board reports INFO-0474-1 (vol 1) and INFO-0474-2 (vol 2), January 1995. Also available at http://www.ora.on.ca/.Google Scholar
  8. 8.
    Dan Craigen, Susan Gerhart and Ted Ralston. “Formal Methods Technology Transfer: Impediments and Innovation.” In Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, Editors. Prentice-Hall International Series in Computer Science, 1995.Google Scholar
  9. 9.
    G. Dinolt, et al. “Multinet Gateway-Towards A1 Certification.” Symposium on Security and Privacy, IEEE 1984.Google Scholar
  10. 10.
    Robert G. Fichman and Chris F. Kemerer. “Adoption of Software Engineering Process Innovations: The Case for Object Orientation.” Sloan Management Review, Winter Issue, 1993.Google Scholar
  11. 11.
    D. Garlan and N. Delisle. “Formal Specifications as Reusable Frameworks.” Proceedings of VDM'90: VDM and Z!, Vol. 428, Lecture Notes in Computer Science, Springer-Verlag 1990.Google Scholar
  12. 12.
    Susan Gerhart, Kevin Greene, Damir Jamsek, Mark Bouler, Ted Ralston, David Russinoff. “MCC Formal Methods Transition Study,” MCC Technical Report FTP-FT-200-91, August 31, 1991.Google Scholar
  13. 13.
    Susan Gerhart, Dan Craigen and Ted Ralston. “Observations on Industrial Practice Using Formal Methods.” In Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, May 1993.Google Scholar
  14. 14.
    Susan Gerhart, Dan Craigen and Ted Ralston. “Experiences with Formal Methods in Critical Systems.” IEEE Software, January 1994.Google Scholar
  15. 15.
    I. Houston, S. King. “CICS Project Report: Experiences and Results from the use of Z.” Proceedings of VDM'91: Formal Development Methods, Volume 551, Lecture Notes in Computer Science, Springer-Verlag, 1991.Google Scholar
  16. 16.
    D. Kuhn and J. Dray. “Formal Specification and Verification of Control Software for Cryptographic Equipment.” Sixth Computer Security Applications Conference, 1990.Google Scholar
  17. 17.
    N. Leveson, et al. “Experiences using Statecharts for a System Requirements Specification.” UC Irvine technical report, TR-92-106. Submitted for publication.Google Scholar
  18. 18.
    R. Linger and H. Mills. “A Case Study in Cleanroom Software Engineering: the IBM COBOL Structuring Facility.” COMPSAC, IEEE 1988.Google Scholar
  19. 19.
    Ted Ralston, Susan Gerhart and Dan Craigen. “The Role of Education and Training in the Industrial Application of Formal Methods.” Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), Lecture Notes in Computer Science, Springer-Verlag, 1995.Google Scholar
  20. 20.
    Everett Rogers. “Diffusion of Innovations.” Free Press, New York, 1983.Google Scholar
  21. 21.
    John Wordsworth. Software Development with Z. Addison-Wesley, 1992.Google Scholar
  22. 22.
    “Experiences from Applications of RAISE.” LaCoS Project Reports, dated June 1991 and March 1992.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Dan Craigen
    • 1
  1. 1.ORA CanadaOttawaCanada

Personalised recommendations