Generalized Program Slicing Applied to Z Specifications
Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| 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 | 342 |
|---|---|
| container_issue | |
| container_start_page | 338 |
| container_title | |
| container_volume | 1 |
| creator | Fangjun Wu |
| description | Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for slicing Z formal specifications based on relations selection, relations projection and relations connection. This method does not take any time to construct dependence graphs, which decreases chance of making a mistake. Finally, it is applied to automate theorem proof, one of main artificial intelligence activities. |
| doi_str_mv | 10.1109/ICCET.2009.123 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4769484</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4769484</ieee_id><sourcerecordid>4769484</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-3f352477e8b4a8a373df3a16a8a05191ee6828ace54b3b71efa439c6d00b7cc23</originalsourceid><addsrcrecordid>eNotjbFqwzAURQUl0CbN2qWLfsCupPdkSWMwaRoIpJB06RJk-TmoOLaRvbRfX0N7l3M5w72MPUmRSyncy74st-dcCeFyqeCOLSUqRABAs2DL2VsnHBpzz9bj-CXmoFbGFQ_M7Kij5Nv4QzV_T_01-Rs_tTHE7so3w9DG2U89_-SngUJsYvBT7LvxkS0a3460_ueKfbxuz-Vbdjju9uXmkEVp9JRBA1rNx2Qr9NaDgboBL4u5Cy2dJCqssj6QxgoqI6nxCC4UtRCVCUHBij3_7UYiugwp3nz6vqApHFqEX0y0RbQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Generalized Program Slicing Applied to Z Specifications</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Fangjun Wu</creator><creatorcontrib>Fangjun Wu</creatorcontrib><description>Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for slicing Z formal specifications based on relations selection, relations projection and relations connection. This method does not take any time to construct dependence graphs, which decreases chance of making a mistake. Finally, it is applied to automate theorem proof, one of main artificial intelligence activities.</description><identifier>ISBN: 1424433347</identifier><identifier>ISBN: 9781424433346</identifier><identifier>ISBN: 9780769535210</identifier><identifier>ISBN: 0769535216</identifier><identifier>DOI: 10.1109/ICCET.2009.123</identifier><identifier>LCCN: 2008909477</identifier><language>eng</language><publisher>IEEE</publisher><subject>Application software ; Artificial intelligence ; Automatic control ; Calculus ; Finance ; Formal specifications ; Information technology ; Performance analysis ; Power capacitors ; Software engineering</subject><ispartof>2009 International Conference on Computer Engineering and Technology, 2009, Vol.1, p.338-342</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/4769484$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,777,781,786,787,2052,27906,54901</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4769484$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Fangjun Wu</creatorcontrib><title>Generalized Program Slicing Applied to Z Specifications</title><title>2009 International Conference on Computer Engineering and Technology</title><addtitle>ICCET</addtitle><description>Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for slicing Z formal specifications based on relations selection, relations projection and relations connection. This method does not take any time to construct dependence graphs, which decreases chance of making a mistake. Finally, it is applied to automate theorem proof, one of main artificial intelligence activities.</description><subject>Application software</subject><subject>Artificial intelligence</subject><subject>Automatic control</subject><subject>Calculus</subject><subject>Finance</subject><subject>Formal specifications</subject><subject>Information technology</subject><subject>Performance analysis</subject><subject>Power capacitors</subject><subject>Software engineering</subject><isbn>1424433347</isbn><isbn>9781424433346</isbn><isbn>9780769535210</isbn><isbn>0769535216</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjbFqwzAURQUl0CbN2qWLfsCupPdkSWMwaRoIpJB06RJk-TmoOLaRvbRfX0N7l3M5w72MPUmRSyncy74st-dcCeFyqeCOLSUqRABAs2DL2VsnHBpzz9bj-CXmoFbGFQ_M7Kij5Nv4QzV_T_01-Rs_tTHE7so3w9DG2U89_-SngUJsYvBT7LvxkS0a3460_ueKfbxuz-Vbdjju9uXmkEVp9JRBA1rNx2Qr9NaDgboBL4u5Cy2dJCqssj6QxgoqI6nxCC4UtRCVCUHBij3_7UYiugwp3nz6vqApHFqEX0y0RbQ</recordid><startdate>200901</startdate><enddate>200901</enddate><creator>Fangjun Wu</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200901</creationdate><title>Generalized Program Slicing Applied to Z Specifications</title><author>Fangjun Wu</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-3f352477e8b4a8a373df3a16a8a05191ee6828ace54b3b71efa439c6d00b7cc23</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Application software</topic><topic>Artificial intelligence</topic><topic>Automatic control</topic><topic>Calculus</topic><topic>Finance</topic><topic>Formal specifications</topic><topic>Information technology</topic><topic>Performance analysis</topic><topic>Power capacitors</topic><topic>Software engineering</topic><toplevel>online_resources</toplevel><creatorcontrib>Fangjun Wu</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>Fangjun Wu</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Generalized Program Slicing Applied to Z Specifications</atitle><btitle>2009 International Conference on Computer Engineering and Technology</btitle><stitle>ICCET</stitle><date>2009-01</date><risdate>2009</risdate><volume>1</volume><spage>338</spage><epage>342</epage><pages>338-342</pages><isbn>1424433347</isbn><isbn>9781424433346</isbn><isbn>9780769535210</isbn><isbn>0769535216</isbn><abstract>Program slicing, a well-known technique, originally introduced by Weiser M., has already been widely used in numerous software engineering areas. With the development of research, the concept of program slicing is extended, and its application domains are broadened. This paper proposes a method for slicing Z formal specifications based on relations selection, relations projection and relations connection. This method does not take any time to construct dependence graphs, which decreases chance of making a mistake. Finally, it is applied to automate theorem proof, one of main artificial intelligence activities.</abstract><pub>IEEE</pub><doi>10.1109/ICCET.2009.123</doi><tpages>5</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 1424433347 |
| ispartof | 2009 International Conference on Computer Engineering and Technology, 2009, Vol.1, p.338-342 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_4769484 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Application software Artificial intelligence Automatic control Calculus Finance Formal specifications Information technology Performance analysis Power capacitors Software engineering |
| title | Generalized Program Slicing Applied to Z Specifications |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-18T16%3A37%3A19IST&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=Generalized%20Program%20Slicing%20Applied%20to%20Z%20Specifications&rft.btitle=2009%20International%20Conference%20on%20Computer%20Engineering%20and%20Technology&rft.au=Fangjun%20Wu&rft.date=2009-01&rft.volume=1&rft.spage=338&rft.epage=342&rft.pages=338-342&rft.isbn=1424433347&rft.isbn_list=9781424433346&rft.isbn_list=9780769535210&rft.isbn_list=0769535216&rft_id=info:doi/10.1109/ICCET.2009.123&rft_dat=%3Cieee_6IE%3E4769484%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=4769484&rfr_iscdi=true |