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
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Symbolic Animation of JML Specifications

      Fabrice, Bouquet; Dadeau, Frederic; Legeard, Bruno; Utting, Mark
      DOI
       10.1007/11526841_7
      Link
       www.springerlink.com
      Find in your library  
      Citation
      Export citation
      Fabrice, B., Dadeau, F., Legeard, B. & Utting, M.(2005). Symbolic animation of JML specifications. In Proceeding of International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005(pp. 75-90). Berlin: Springer.
      Permanent Research Commons link: https://hdl.handle.net/10289/1520
      Abstract
      This paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set-theoretic solver is used to simulate the execution of the system and handle constraints on state variables. We define a framework for animating object-oriented specifications with dynamic object creations, interactions and inheritance. We show how this technique can be applied to Java Modeling Language (JML) specifications, making it possible to animate Java programs that only contain method interfaces and no code!
      Date
      2005
      Type
      Conference Contribution
      Publisher
      Springer
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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