A logic-based approach to reverse engineering tools production
Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 1992-12, Vol.18 (12), p.1053-1064 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1064 |
|---|---|
| container_issue | 12 |
| container_start_page | 1053 |
| container_title | IEEE transactions on software engineering |
| container_volume | 18 |
| creator | Canfora, G. Cimitile, A. de Carlini, U. |
| description | Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered.< > |
| doi_str_mv | 10.1109/32.184760 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_ieee_primary_184760</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>184760</ieee_id><sourcerecordid>1143056</sourcerecordid><originalsourceid>FETCH-LOGICAL-c273t-2df9f1e3763080351d985a2aceb5b5af4093e6a7e56b906f7d05618ab03969c93</originalsourceid><addsrcrecordid>eNpF0E1LxDAQBuAgCq6rB6-eijcPXSfJ5mMuwrL4BQte9BzSdLp2WZs1aQX_vZUKngZmHuaFl7FLDgvOAW-lWHC7NBqO2IyjxFIqAcdsBoC2VMriKTvLeQcAyhg1Y3erYh-3bSgrn6ku_OGQog_vRR-LRF-UMhXUbduOKLXddlzHfS5GUw-hb2N3zk4av8908Tfn7O3h_nX9VG5eHp_Xq00ZhJF9KeoGG07SaAkWpOI1WuWFD1SpSvlmCShJe0NKVwi6MTUoza2vQKLGgHLOrqe_Y_TnQLl3uzikbox0HJUyVgAf0c2EQoo5J2rcIbUfPn07Du63HSeFm9oZ7dVkWyL6d9PxBz3gXi4</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195578201</pqid></control><display><type>article</type><title>A logic-based approach to reverse engineering tools production</title><source>IEEE Electronic Library (IEL)</source><creator>Canfora, G. ; Cimitile, A. ; de Carlini, U.</creator><creatorcontrib>Canfora, G. ; Cimitile, A. ; de Carlini, U.</creatorcontrib><description>Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered.< ></description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.184760</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Computer aided software engineering ; Computer programming ; Data analysis ; Design ; Dictionaries ; Information analysis ; Logic ; Logic programming ; Production ; Programming languages ; Queries ; Reverse engineering ; Software development ; Software engineering ; Software systems ; Systems development</subject><ispartof>IEEE transactions on software engineering, 1992-12, Vol.18 (12), p.1053-1064</ispartof><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1992</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c273t-2df9f1e3763080351d985a2aceb5b5af4093e6a7e56b906f7d05618ab03969c93</citedby><cites>FETCH-LOGICAL-c273t-2df9f1e3763080351d985a2aceb5b5af4093e6a7e56b906f7d05618ab03969c93</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/184760$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27903,27904,54737</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/184760$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Canfora, G.</creatorcontrib><creatorcontrib>Cimitile, A.</creatorcontrib><creatorcontrib>de Carlini, U.</creatorcontrib><title>A logic-based approach to reverse engineering tools production</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered.< ></description><subject>Computer aided software engineering</subject><subject>Computer programming</subject><subject>Data analysis</subject><subject>Design</subject><subject>Dictionaries</subject><subject>Information analysis</subject><subject>Logic</subject><subject>Logic programming</subject><subject>Production</subject><subject>Programming languages</subject><subject>Queries</subject><subject>Reverse engineering</subject><subject>Software development</subject><subject>Software engineering</subject><subject>Software systems</subject><subject>Systems development</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1992</creationdate><recordtype>article</recordtype><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNpF0E1LxDAQBuAgCq6rB6-eijcPXSfJ5mMuwrL4BQte9BzSdLp2WZs1aQX_vZUKngZmHuaFl7FLDgvOAW-lWHC7NBqO2IyjxFIqAcdsBoC2VMriKTvLeQcAyhg1Y3erYh-3bSgrn6ku_OGQog_vRR-LRF-UMhXUbduOKLXddlzHfS5GUw-hb2N3zk4av8908Tfn7O3h_nX9VG5eHp_Xq00ZhJF9KeoGG07SaAkWpOI1WuWFD1SpSvlmCShJe0NKVwi6MTUoza2vQKLGgHLOrqe_Y_TnQLl3uzikbox0HJUyVgAf0c2EQoo5J2rcIbUfPn07Du63HSeFm9oZ7dVkWyL6d9PxBz3gXi4</recordid><startdate>19921201</startdate><enddate>19921201</enddate><creator>Canfora, G.</creator><creator>Cimitile, A.</creator><creator>de Carlini, U.</creator><general>IEEE</general><general>IEEE Computer Society</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope></search><sort><creationdate>19921201</creationdate><title>A logic-based approach to reverse engineering tools production</title><author>Canfora, G. ; Cimitile, A. ; de Carlini, U.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c273t-2df9f1e3763080351d985a2aceb5b5af4093e6a7e56b906f7d05618ab03969c93</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1992</creationdate><topic>Computer aided software engineering</topic><topic>Computer programming</topic><topic>Data analysis</topic><topic>Design</topic><topic>Dictionaries</topic><topic>Information analysis</topic><topic>Logic</topic><topic>Logic programming</topic><topic>Production</topic><topic>Programming languages</topic><topic>Queries</topic><topic>Reverse engineering</topic><topic>Software development</topic><topic>Software engineering</topic><topic>Software systems</topic><topic>Systems development</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Canfora, G.</creatorcontrib><creatorcontrib>Cimitile, A.</creatorcontrib><creatorcontrib>de Carlini, U.</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>ProQuest_Health & Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science & Engineering Database (Proquest)</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies & Aerospace Database (1962 - current)</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>ProQuest Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer science database</collection><collection>ProQuest Health & Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health & Medical Collection (Alumni Edition)</collection><collection>PML(ProQuest Medical Library)</collection><collection>Military Database</collection><collection>ProQuest_Research Library</collection><collection>ProQuest Science Journals</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>ProQuest advanced technologies & aerospace journals</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>One Business (ProQuest)</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Canfora, G.</au><au>Cimitile, A.</au><au>de Carlini, U.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A logic-based approach to reverse engineering tools production</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1992-12-01</date><risdate>1992</risdate><volume>18</volume><issue>12</issue><spage>1053</spage><epage>1064</epage><pages>1053-1064</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered.< ></abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/32.184760</doi><tpages>12</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 1992-12, Vol.18 (12), p.1053-1064 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_ieee_primary_184760 |
| source | IEEE Electronic Library (IEL) |
| subjects | Computer aided software engineering Computer programming Data analysis Design Dictionaries Information analysis Logic Logic programming Production Programming languages Queries Reverse engineering Software development Software engineering Software systems Systems development |
| title | A logic-based approach to reverse engineering tools production |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-22T19%3A33%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20logic-based%20approach%20to%20reverse%20engineering%20tools%20production&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Canfora,%20G.&rft.date=1992-12-01&rft.volume=18&rft.issue=12&rft.spage=1053&rft.epage=1064&rft.pages=1053-1064&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.184760&rft_dat=%3Cproquest_RIE%3E1143056%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=195578201&rft_id=info:pmid/&rft_ieee_id=184760&rfr_iscdi=true |