Documenting programs using a library of tree structured plans
An overview of a knowledge-based approach which helps in the mechanical documentation and understanding of computer programs is given. This approach performs mechanical annotation of loops by first decomposing them into fragments, called events. It then recognizes the high-level concepts, represente...
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 161 |
---|---|
container_issue | |
container_start_page | 152 |
container_title | |
container_volume | |
creator | Abd-El-Hafiz, S. Basili, V.R. |
description | An overview of a knowledge-based approach which helps in the mechanical documentation and understanding of computer programs is given. This approach performs mechanical annotation of loops by first decomposing them into fragments, called events. It then recognizes the high-level concepts, represented by the events, based on patterns, called plans, stored in a knowledge-base. The design and utilization of the plans are described in detail, and how to generalize their structure is discussed. The generalized tree structure can facilitate plan recognition and reduce the size of the knowledge-base. A case study on a real program of some practical importance, containing a set of 77 loops, has been performed. Results concerning the plans designed for this case study are given.< > |
doi_str_mv | 10.1109/ICSM.1993.366947 |
format | Conference Proceeding |
fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_366947</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>366947</ieee_id><sourcerecordid>366947</sourcerecordid><originalsourceid>FETCH-LOGICAL-i172t-d3f63a32cb0c8fe80c967d3ad4f6d1c37cc3f3686eeb4852718cfaaada7dacc23</originalsourceid><addsrcrecordid>eNotjz1PwzAURS0hJKB0R0z-Awl2XmI7AwMKX5WKGIC5enl-roLSJLKTgX9PUbnL1VmuzhXiRqtca1XfbZqPt1zXNeRgTF3aM3GlnHamNEqVF2Kd0rc6pqqcg-JS3D-OtBx4mLthL6c47iMeklzSH6LsuzZi_JFjkHNklmmOC81LZC-nHod0Lc4D9onX_70SX89Pn81rtn1_2TQP26zTtpgzD8EAQkGtIhfYKaqN9YC-DMZrAksEAYwzzG3pqsJqRwERPVqPRAWsxO1pt2Pm3RS7w9FqdzoIvxPsSBY</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Documenting programs using a library of tree structured plans</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Abd-El-Hafiz, S. ; Basili, V.R.</creator><creatorcontrib>Abd-El-Hafiz, S. ; Basili, V.R.</creatorcontrib><description>An overview of a knowledge-based approach which helps in the mechanical documentation and understanding of computer programs is given. This approach performs mechanical annotation of loops by first decomposing them into fragments, called events. It then recognizes the high-level concepts, represented by the events, based on patterns, called plans, stored in a knowledge-base. The design and utilization of the plans are described in detail, and how to generalize their structure is discussed. The generalized tree structure can facilitate plan recognition and reduce the size of the knowledge-base. A case study on a real program of some practical importance, containing a set of 77 loops, has been performed. Results concerning the plans designed for this case study are given.< ></description><identifier>ISBN: 0818646004</identifier><identifier>ISBN: 9780818646003</identifier><identifier>DOI: 10.1109/ICSM.1993.366947</identifier><language>eng</language><publisher>IEEE Comput. Soc. Press</publisher><subject>Computer science ; Debugging ; Documentation ; Educational institutions ; Libraries ; Pattern recognition ; Programming profession ; Taxonomy ; Testing ; Tree data structures</subject><ispartof>1993 Conference on Software Maintenance, 1993, p.152-161</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/366947$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/366947$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Abd-El-Hafiz, S.</creatorcontrib><creatorcontrib>Basili, V.R.</creatorcontrib><title>Documenting programs using a library of tree structured plans</title><title>1993 Conference on Software Maintenance</title><addtitle>ICSM</addtitle><description>An overview of a knowledge-based approach which helps in the mechanical documentation and understanding of computer programs is given. This approach performs mechanical annotation of loops by first decomposing them into fragments, called events. It then recognizes the high-level concepts, represented by the events, based on patterns, called plans, stored in a knowledge-base. The design and utilization of the plans are described in detail, and how to generalize their structure is discussed. The generalized tree structure can facilitate plan recognition and reduce the size of the knowledge-base. A case study on a real program of some practical importance, containing a set of 77 loops, has been performed. Results concerning the plans designed for this case study are given.< ></description><subject>Computer science</subject><subject>Debugging</subject><subject>Documentation</subject><subject>Educational institutions</subject><subject>Libraries</subject><subject>Pattern recognition</subject><subject>Programming profession</subject><subject>Taxonomy</subject><subject>Testing</subject><subject>Tree data structures</subject><isbn>0818646004</isbn><isbn>9780818646003</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1993</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjz1PwzAURS0hJKB0R0z-Awl2XmI7AwMKX5WKGIC5enl-roLSJLKTgX9PUbnL1VmuzhXiRqtca1XfbZqPt1zXNeRgTF3aM3GlnHamNEqVF2Kd0rc6pqqcg-JS3D-OtBx4mLthL6c47iMeklzSH6LsuzZi_JFjkHNklmmOC81LZC-nHod0Lc4D9onX_70SX89Pn81rtn1_2TQP26zTtpgzD8EAQkGtIhfYKaqN9YC-DMZrAksEAYwzzG3pqsJqRwERPVqPRAWsxO1pt2Pm3RS7w9FqdzoIvxPsSBY</recordid><startdate>1993</startdate><enddate>1993</enddate><creator>Abd-El-Hafiz, S.</creator><creator>Basili, V.R.</creator><general>IEEE Comput. Soc. Press</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1993</creationdate><title>Documenting programs using a library of tree structured plans</title><author>Abd-El-Hafiz, S. ; Basili, V.R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i172t-d3f63a32cb0c8fe80c967d3ad4f6d1c37cc3f3686eeb4852718cfaaada7dacc23</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1993</creationdate><topic>Computer science</topic><topic>Debugging</topic><topic>Documentation</topic><topic>Educational institutions</topic><topic>Libraries</topic><topic>Pattern recognition</topic><topic>Programming profession</topic><topic>Taxonomy</topic><topic>Testing</topic><topic>Tree data structures</topic><toplevel>online_resources</toplevel><creatorcontrib>Abd-El-Hafiz, S.</creatorcontrib><creatorcontrib>Basili, V.R.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Abd-El-Hafiz, S.</au><au>Basili, V.R.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Documenting programs using a library of tree structured plans</atitle><btitle>1993 Conference on Software Maintenance</btitle><stitle>ICSM</stitle><date>1993</date><risdate>1993</risdate><spage>152</spage><epage>161</epage><pages>152-161</pages><isbn>0818646004</isbn><isbn>9780818646003</isbn><abstract>An overview of a knowledge-based approach which helps in the mechanical documentation and understanding of computer programs is given. This approach performs mechanical annotation of loops by first decomposing them into fragments, called events. It then recognizes the high-level concepts, represented by the events, based on patterns, called plans, stored in a knowledge-base. The design and utilization of the plans are described in detail, and how to generalize their structure is discussed. The generalized tree structure can facilitate plan recognition and reduce the size of the knowledge-base. A case study on a real program of some practical importance, containing a set of 77 loops, has been performed. Results concerning the plans designed for this case study are given.< ></abstract><pub>IEEE Comput. Soc. Press</pub><doi>10.1109/ICSM.1993.366947</doi><tpages>10</tpages></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | ISBN: 0818646004 |
ispartof | 1993 Conference on Software Maintenance, 1993, p.152-161 |
issn | |
language | eng |
recordid | cdi_ieee_primary_366947 |
source | IEEE Electronic Library (IEL) Conference Proceedings |
subjects | Computer science Debugging Documentation Educational institutions Libraries Pattern recognition Programming profession Taxonomy Testing Tree data structures |
title | Documenting programs using a library of tree structured plans |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T16%3A00%3A00IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Documenting%20programs%20using%20a%20library%20of%20tree%20structured%20plans&rft.btitle=1993%20Conference%20on%20Software%20Maintenance&rft.au=Abd-El-Hafiz,%20S.&rft.date=1993&rft.spage=152&rft.epage=161&rft.pages=152-161&rft.isbn=0818646004&rft.isbn_list=9780818646003&rft_id=info:doi/10.1109/ICSM.1993.366947&rft_dat=%3Cieee_6IE%3E366947%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=366947&rfr_iscdi=true |