Accessible Formal Methods: A Study of the Java Modeling Language
| dc.contributor.author | Rawding, Michael | |
| dc.contributor.author | Andriamanalimanana, Bruno; Advisor | |
| dc.contributor.author | Spetka, Scott; Reviewer | |
| dc.contributor.author | Vishwanathan, Roopa; Reviewer | |
| dc.date.accessioned | 2017-05-09T17:49:37Z | |
| dc.date.accessioned | 2020-06-22T14:35:22Z | |
| dc.date.available | 2017-05-09T17:49:37Z | |
| dc.date.available | 2020-06-22T14:35:22Z | |
| dc.date.issued | 2017-04-17 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12648/1101 | |
| dc.description | A project presented to the Department of Computer and Information Sciences State University of New York Polytechnic Institute at Utica. | en_US |
| dc.description.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. | en_US |
| dc.language.iso | en_US | en_US |
| dc.subject | Java Modeling Language | en_US |
| dc.subject | OpenJML | en_US |
| dc.subject | Java | en_US |
| dc.subject | software testing | en_US |
| dc.title | Accessible Formal Methods: A Study of the Java Modeling Language | en_US |
| dc.type | Other | en_US |
| refterms.dateFOA | 2020-06-22T14:35:22Z | |
| dc.description.institution | SUNY Polytechnic Institute |
Files in this item
This item appears in the following Collection(s)
-
SUNY Polytechnic Institute College of Engineering
This collection contains master's theses, capstone projects, and other student and faculty work from programs within the Department of Engineering, including computer science and network security.