Enhancing a behavioral interface specification language with temporal logic features
dc.contributor.advisor | Gary T. Leavens | |
dc.contributor.author | Hussain, Faraz | |
dc.contributor.department | Computer Science | |
dc.date | 2018-08-11T14:27:01.000 | |
dc.date.accessioned | 2020-06-30T02:27:47Z | |
dc.date.available | 2020-06-30T02:27:47Z | |
dc.date.copyright | Thu Jan 01 00:00:00 UTC 2009 | |
dc.date.embargo | 2013-06-05 | |
dc.date.issued | 2009-01-01 | |
dc.description.abstract | <p>Specification languages help programmers write correct programs and also aid efforts for dynamically checking a software implementation with respect to its desired specifications. Most mainstream specification languages primarily deal with a program's functional behavior. However, for certain applications it is more natural and intuitive to be able to express a system's temporal properties.</p> <p>This thesis enhances the capabilities of the Java Modeling Language (JML), a behavioral interface specification language, by incorporating temporal logic constructs. The temporal specification grammar used is a modification of the JML temporal extension proposed by K. Trentelman and M. Huisman in their paper "Extending JML Specifications with Temporal Logic".</p> <p>I have modified jmlc, the runtime assertion checker for the Java Modeling Language, so that it also generates runtime assertion checking code to dynamically check a program's temporal specifications.</p> | |
dc.format.mimetype | application/pdf | |
dc.identifier | archive/lib.dr.iastate.edu/etd/10342/ | |
dc.identifier.articleid | 1359 | |
dc.identifier.contextkey | 2798728 | |
dc.identifier.doi | https://doi.org/10.31274/etd-180810-2667 | |
dc.identifier.s3bucket | isulib-bepress-aws-west | |
dc.identifier.submissionpath | etd/10342 | |
dc.identifier.uri | https://dr.lib.iastate.edu/handle/20.500.12876/24555 | |
dc.language.iso | en | |
dc.source.bitstream | archive/lib.dr.iastate.edu/etd/10342/Hussain_iastate_0097M_10296.pdf|||Fri Jan 14 18:19:04 UTC 2022 | |
dc.subject.disciplines | Computer Sciences | |
dc.subject.keywords | Formal | |
dc.subject.keywords | Language | |
dc.subject.keywords | Logic | |
dc.subject.keywords | Specification | |
dc.subject.keywords | Temporal | |
dc.subject.keywords | Verification | |
dc.title | Enhancing a behavioral interface specification language with temporal logic features | |
dc.type | article | |
dc.type.genre | thesis | |
dspace.entity.type | Publication | |
relation.isOrgUnitOfPublication | f7be4eb9-d1d0-4081-859b-b15cee251456 | |
thesis.degree.level | thesis | |
thesis.degree.name | Master of Science |
File
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Hussain_iastate_0097M_10296.pdf
- Size:
- 576.61 KB
- Format:
- Adobe Portable Document Format
- Description: