• Login
    View Item 
    •   DSpace Home
    • SUNY Polytechnic Institute
    • Master's Theses and Projects
    • College of Engineering, SUNY Polytechnic Institute
    • View Item
    •   DSpace Home
    • SUNY Polytechnic Institute
    • Master's Theses and Projects
    • College of Engineering, SUNY Polytechnic Institute
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Accessible Formal Methods: A Study of the Java Modeling Language

    Thumbnail
    View/Open
    Rawding-Project-2017.pdf (1.056Mb)
    Date
    2017-04-17
    Author
    Rawding, Michael
    Andriamanalimanana, Bruno; Advisor
    Spetka, Scott; Reviewer
    Vishwanathan, Roopa; Reviewer
    Metadata
    Show full item record
    Subject
    Java Modeling Language
    OpenJML
    Java
    software testing
    Abstract
    While formal methods offer the highest level of confidence that software behaves as intended, they are notoriously difficult to use. The Java Modeling Language and the associated OpenJML tool aim to make formal specification and verification more accessible to Java developers. This report gives an overview of JML and assesses its current status and usability. Though many common Java features have been implemented, lack of standard library support is identified as an obstacle to using JML effectively. To help address that problem, this report documents the process of adding support for a new library to OpenJML.
    Description
    A project presented to the Department of Computer and Information Sciences State University of New York Polytechnic Institute at Utica.
    URI
    http://hdl.handle.net/1951/69177
    Collections
    • College of Engineering, SUNY Polytechnic Institute [44]

    SUNY Digital Repository Support
    DSpace software copyright © 2002-2021  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV
     

     


    SUNY Digital Repository Support
    DSpace software copyright © 2002-2021  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV