Part II: specifying components in RESOLVE

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005

Saved in:
Bibliographic Details
Published in:Software engineering notes 1994-10, Vol.19 (4), p.29-39
Main Authors: Edwards, Stephen H., Heym, Wayne D., Long, Timothy J., Sitaraman, Murali, Weide, Bruce W.
Format: Article
Language:English
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c1132-820ac05bf55e56a6c82acada1afd674a0766f58271f1b88e7e96f8cd1c97f62d3
cites
container_end_page 39
container_issue 4
container_start_page 29
container_title Software engineering notes
container_volume 19
creator Edwards, Stephen H.
Heym, Wayne D.
Long, Timothy J.
Sitaraman, Murali
Weide, Bruce W.
description Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005
doi_str_mv 10.1145/190679.190682
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_29428552</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>29428552</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1132-820ac05bf55e56a6c82acada1afd674a0766f58271f1b88e7e96f8cd1c97f62d3</originalsourceid><addsrcrecordid>eNotkDtPwzAYAD2ARCmM7JmQGFL8OfGLDVWhRIrUqjxW66tjo6C8sNOh_x6qMN1yuuEIuQO6Asj5I2gqpF6dodgFWVAQWcp1rq7IdYzflIICoRbkYYdhSsryKYmjs40_Nf1XYoduHHrXTzFp-mRfvG2rz-KGXHpso7v955J8vBTv69e02m7K9XOVWoCMpYpRtJQfPOeOCxRWMbRYI6CvhcyRSiE8V0yCh4NSTjotvLI1WC29YHW2JPdzdwzDz9HFyXRNtK5tsXfDMRqmc6Y4Z39iOos2DDEG580Ymg7DyQA15wlmnmDmCdkvqNdO3A</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>29428552</pqid></control><display><type>article</type><title>Part II: specifying components in RESOLVE</title><source>Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)</source><creator>Edwards, Stephen H. ; Heym, Wayne D. ; Long, Timothy J. ; Sitaraman, Murali ; Weide, Bruce W.</creator><creatorcontrib>Edwards, Stephen H. ; Heym, Wayne D. ; Long, Timothy J. ; Sitaraman, Murali ; Weide, Bruce W.</creatorcontrib><description>Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005</description><identifier>ISSN: 0163-5948</identifier><identifier>DOI: 10.1145/190679.190682</identifier><language>eng</language><ispartof>Software engineering notes, 1994-10, Vol.19 (4), p.29-39</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c1132-820ac05bf55e56a6c82acada1afd674a0766f58271f1b88e7e96f8cd1c97f62d3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,777,781,27905,27906</link.rule.ids></links><search><creatorcontrib>Edwards, Stephen H.</creatorcontrib><creatorcontrib>Heym, Wayne D.</creatorcontrib><creatorcontrib>Long, Timothy J.</creatorcontrib><creatorcontrib>Sitaraman, Murali</creatorcontrib><creatorcontrib>Weide, Bruce W.</creatorcontrib><title>Part II: specifying components in RESOLVE</title><title>Software engineering notes</title><description>Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005</description><issn>0163-5948</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1994</creationdate><recordtype>article</recordtype><recordid>eNotkDtPwzAYAD2ARCmM7JmQGFL8OfGLDVWhRIrUqjxW66tjo6C8sNOh_x6qMN1yuuEIuQO6Asj5I2gqpF6dodgFWVAQWcp1rq7IdYzflIICoRbkYYdhSsryKYmjs40_Nf1XYoduHHrXTzFp-mRfvG2rz-KGXHpso7v955J8vBTv69e02m7K9XOVWoCMpYpRtJQfPOeOCxRWMbRYI6CvhcyRSiE8V0yCh4NSTjotvLI1WC29YHW2JPdzdwzDz9HFyXRNtK5tsXfDMRqmc6Y4Z39iOos2DDEG580Ymg7DyQA15wlmnmDmCdkvqNdO3A</recordid><startdate>199410</startdate><enddate>199410</enddate><creator>Edwards, Stephen H.</creator><creator>Heym, Wayne D.</creator><creator>Long, Timothy J.</creator><creator>Sitaraman, Murali</creator><creator>Weide, Bruce W.</creator><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>199410</creationdate><title>Part II: specifying components in RESOLVE</title><author>Edwards, Stephen H. ; Heym, Wayne D. ; Long, Timothy J. ; Sitaraman, Murali ; Weide, Bruce W.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1132-820ac05bf55e56a6c82acada1afd674a0766f58271f1b88e7e96f8cd1c97f62d3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1994</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Edwards, Stephen H.</creatorcontrib><creatorcontrib>Heym, Wayne D.</creatorcontrib><creatorcontrib>Long, Timothy J.</creatorcontrib><creatorcontrib>Sitaraman, Murali</creatorcontrib><creatorcontrib>Weide, Bruce W.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Software engineering notes</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Edwards, Stephen H.</au><au>Heym, Wayne D.</au><au>Long, Timothy J.</au><au>Sitaraman, Murali</au><au>Weide, Bruce W.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Part II: specifying components in RESOLVE</atitle><jtitle>Software engineering notes</jtitle><date>1994-10</date><risdate>1994</risdate><volume>19</volume><issue>4</issue><spage>29</spage><epage>39</epage><pages>29-39</pages><issn>0163-5948</issn><abstract>Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification, Science of Computer Programming, v.55 n.1-3, p.185-208, March 2005</abstract><doi>10.1145/190679.190682</doi><tpages>11</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0163-5948
ispartof Software engineering notes, 1994-10, Vol.19 (4), p.29-39
issn 0163-5948
language eng
recordid cdi_proquest_miscellaneous_29428552
source Association for Computing Machinery:Jisc Collections:ACM OPEN Journals 2023-2025 (reading list)
title Part II: specifying components in RESOLVE
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T21%3A46%3A08IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Part%20II:%20specifying%20components%20in%20RESOLVE&rft.jtitle=Software%20engineering%20notes&rft.au=Edwards,%20Stephen%20H.&rft.date=1994-10&rft.volume=19&rft.issue=4&rft.spage=29&rft.epage=39&rft.pages=29-39&rft.issn=0163-5948&rft_id=info:doi/10.1145/190679.190682&rft_dat=%3Cproquest_cross%3E29428552%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c1132-820ac05bf55e56a6c82acada1afd674a0766f58271f1b88e7e96f8cd1c97f62d3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=29428552&rft_id=info:pmid/&rfr_iscdi=true