Systematic program development
A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. With the proposed method, a program is developed by making a se...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 1988-01, Vol.14 (1), p.12-29 |
|---|---|
| 1. Verfasser: | |
| 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 | 29 |
|---|---|
| container_issue | 1 |
| container_start_page | 12 |
| container_title | IEEE transactions on software engineering |
| container_volume | 14 |
| creator | Dromey, R.G. |
| description | A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. With the proposed method, a program is developed by making a sequence of refinements, each of which can establish the postcondition for a corresponding sequence of progressively weaker preconditions until a mechanism has been composed that will establish the postcondition for the original given precondition for the problem. The strategy can minimize case analysis, simplify constructive program proofs, and ensure a correspondence between program structure and data structure.< > |
| doi_str_mv | 10.1109/32.4619 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_crossref_primary_10_1109_32_4619</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4619</ieee_id><sourcerecordid>28330796</sourcerecordid><originalsourceid>FETCH-LOGICAL-c358t-1288cc38d823b9f732b6ceedf48aa911253c75fec0e987bef49ff12098655f8a3</originalsourceid><addsrcrecordid>eNqF0MtLAzEQBvAgCtYqXj1JEdHT1jx2djNHKb6g4EE9hzSdyJZ91GQr9L83taUHL57mMD8-vhnGzgUfC8HxTslxXgg8YAOBCjMFkh-yAeeoMwCNx-wkxgXnHMoSBuzybR17amxfudEydJ_BNqM5fVPdLRtq-1N25G0d6Ww3h-zj8eF98pxNX59eJvfTzCnQfSak1s4pPddSzdCXSs4KRzT3ubYWhZCgXAmeHCfU5Yx8jt4LmToVAF5bNWQ329zU4WtFsTdNFR3VtW2pW0UjtVK8xOJ_CBywwDzBqz9w0a1Cm44wAgFQaq4Sut0iF7oYA3mzDFVjw9oIbjbfNEqazTeTvN7F2ehs7YNtXRX3vNS5LFAkdrFlFRHtt78JP5wjeTA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195592803</pqid></control><display><type>article</type><title>Systematic program development</title><source>IEEE Electronic Library (IEL)</source><creator>Dromey, R.G.</creator><creatorcontrib>Dromey, R.G.</creatorcontrib><description>A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. With the proposed method, a program is developed by making a sequence of refinements, each of which can establish the postcondition for a corresponding sequence of progressively weaker preconditions until a mechanism has been composed that will establish the postcondition for the original given precondition for the problem. The strategy can minimize case analysis, simplify constructive program proofs, and ensure a correspondence between program structure and data structure.< ></description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.4619</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Applied sciences ; Australia ; Computer programming ; Computer science; control theory; systems ; Correspondence ; Data structures ; Design ; Development ; Exact sciences and technology ; Formal specifications ; Information technology ; Methods ; Objectives ; Partitioning algorithms ; Pressing ; Process design ; Programs ; Proposals ; Software ; Software engineering ; Specifications ; Variables</subject><ispartof>IEEE transactions on software engineering, 1988-01, Vol.14 (1), p.12-29</ispartof><rights>1988 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jan 1988</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c358t-1288cc38d823b9f732b6ceedf48aa911253c75fec0e987bef49ff12098655f8a3</citedby><cites>FETCH-LOGICAL-c358t-1288cc38d823b9f732b6ceedf48aa911253c75fec0e987bef49ff12098655f8a3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4619$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,778,782,794,4012,27906,27907,27908,54741</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4619$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7842691$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Dromey, R.G.</creatorcontrib><title>Systematic program development</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. With the proposed method, a program is developed by making a sequence of refinements, each of which can establish the postcondition for a corresponding sequence of progressively weaker preconditions until a mechanism has been composed that will establish the postcondition for the original given precondition for the problem. The strategy can minimize case analysis, simplify constructive program proofs, and ensure a correspondence between program structure and data structure.< ></description><subject>Applied sciences</subject><subject>Australia</subject><subject>Computer programming</subject><subject>Computer science; control theory; systems</subject><subject>Correspondence</subject><subject>Data structures</subject><subject>Design</subject><subject>Development</subject><subject>Exact sciences and technology</subject><subject>Formal specifications</subject><subject>Information technology</subject><subject>Methods</subject><subject>Objectives</subject><subject>Partitioning algorithms</subject><subject>Pressing</subject><subject>Process design</subject><subject>Programs</subject><subject>Proposals</subject><subject>Software</subject><subject>Software engineering</subject><subject>Specifications</subject><subject>Variables</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1988</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>eNqF0MtLAzEQBvAgCtYqXj1JEdHT1jx2djNHKb6g4EE9hzSdyJZ91GQr9L83taUHL57mMD8-vhnGzgUfC8HxTslxXgg8YAOBCjMFkh-yAeeoMwCNx-wkxgXnHMoSBuzybR17amxfudEydJ_BNqM5fVPdLRtq-1N25G0d6Ww3h-zj8eF98pxNX59eJvfTzCnQfSak1s4pPddSzdCXSs4KRzT3ubYWhZCgXAmeHCfU5Yx8jt4LmToVAF5bNWQ329zU4WtFsTdNFR3VtW2pW0UjtVK8xOJ_CBywwDzBqz9w0a1Cm44wAgFQaq4Sut0iF7oYA3mzDFVjw9oIbjbfNEqazTeTvN7F2ehs7YNtXRX3vNS5LFAkdrFlFRHtt78JP5wjeTA</recordid><startdate>198801</startdate><enddate>198801</enddate><creator>Dromey, R.G.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>IEEE Computer Society</general><scope>IQODW</scope><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><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>198801</creationdate><title>Systematic program development</title><author>Dromey, R.G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c358t-1288cc38d823b9f732b6ceedf48aa911253c75fec0e987bef49ff12098655f8a3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1988</creationdate><topic>Applied sciences</topic><topic>Australia</topic><topic>Computer programming</topic><topic>Computer science; control theory; systems</topic><topic>Correspondence</topic><topic>Data structures</topic><topic>Design</topic><topic>Development</topic><topic>Exact sciences and technology</topic><topic>Formal specifications</topic><topic>Information technology</topic><topic>Methods</topic><topic>Objectives</topic><topic>Partitioning algorithms</topic><topic>Pressing</topic><topic>Process design</topic><topic>Programs</topic><topic>Proposals</topic><topic>Software</topic><topic>Software engineering</topic><topic>Specifications</topic><topic>Variables</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dromey, R.G.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health & Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</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 Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection (ProQuest)</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</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>Medical Database</collection><collection>Military Database</collection><collection>Research Library</collection><collection>Science Database (ProQuest)</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Business</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><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</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>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Dromey, R.G.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Systematic program development</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1988-01</date><risdate>1988</risdate><volume>14</volume><issue>1</issue><spage>12</spage><epage>29</epage><pages>12-29</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>A constructive method of program development is presented. It is based on a simple strategy for problem decomposition that is claimed to be more supportive of goal-oriented programming than the Wirth-Dijkstra top-down refinement method. With the proposed method, a program is developed by making a sequence of refinements, each of which can establish the postcondition for a corresponding sequence of progressively weaker preconditions until a mechanism has been composed that will establish the postcondition for the original given precondition for the problem. The strategy can minimize case analysis, simplify constructive program proofs, and ensure a correspondence between program structure and data structure.< ></abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/32.4619</doi><tpages>18</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 1988-01, Vol.14 (1), p.12-29 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_crossref_primary_10_1109_32_4619 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Australia Computer programming Computer science control theory systems Correspondence Data structures Design Development Exact sciences and technology Formal specifications Information technology Methods Objectives Partitioning algorithms Pressing Process design Programs Proposals Software Software engineering Specifications Variables |
| title | Systematic program development |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-16T16%3A34%3A44IST&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=Systematic%20program%20development&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Dromey,%20R.G.&rft.date=1988-01&rft.volume=14&rft.issue=1&rft.spage=12&rft.epage=29&rft.pages=12-29&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.4619&rft_dat=%3Cproquest_RIE%3E28330796%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=195592803&rft_id=info:pmid/&rft_ieee_id=4619&rfr_iscdi=true |