Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1995 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1995 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Towards an integrated refinement environment for formal program development

      Reeves, Steve; Grundy, John C.
      Thumbnail
      Files
      uow-cs-wp-1995-26.pdf
      1.692Mb
      Find in your library  
      Citation
      Export citation
      Reeves, S. & Grundy, J. C. (1995) Towards an integrated refinement environment for formal program development. (Working paper 95/26). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/1103
      Abstract
      One of the main hurdles to the general adoption of formal program development techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for software development which embodies the aim of formal program development. Multiple levels of refinement of each specification are supported, with associated proof obligations, each of which can be viewed at various levels of detail throughout the development process. All of these formal views are kept consistent with each other and with more traditional design and implementation views. This allows software developers to specify, design, refine, prove, implement and document their software within a single integrated environment.
      Date
      1995-08
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      95/26
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 1995 Working Papers [32]
      Show full item record  

      Usage

      Downloads, last 12 months
      65
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement