Direct implementation of abstract data types from abstract specifications
The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of transla...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 1986-05, Vol.SE-12 (5), p.649-661 |
|---|---|
| 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 | 661 |
|---|---|
| container_issue | 5 |
| container_start_page | 649 |
| container_title | IEEE transactions on software engineering |
| container_volume | SE-12 |
| creator | Belkhouche, B. Urban, J. E. |
| description | The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of translating in abstract data type specification into an executable program. This process defines an alternative methodology that provides the necessary tools for the early testing of the specifications and for the development of prototypes and implementation models. |
| doi_str_mv | 10.1109/TSE.1986.6312960 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_195584311</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6312960</ieee_id><sourcerecordid>24027617</sourcerecordid><originalsourceid>FETCH-LOGICAL-c379t-e8e331218575340f75680fef93054ce5af85a3888f8a5e53016e1f3e16ad03223</originalsourceid><addsrcrecordid>eNqFkc1LAzEQxYMoWKt3wcsi4m3rZLPJJkfRqoWCB-s5xHQCKftlsj30vze1tYIXT3N4v_eYmUfIJYUJpaDuFm_TCVVSTASjhRJwREZUMZUzXsAxGQEomXMu1Sk5i3EFALyq-IjMHn1AO2S-6WtssB3M4Ls261xmPuIQTJKWZjDZsOkxZi50za8Qe7TeefttiefkxJk64sV-jsn703Tx8JLPX59nD_fz3LJKDTlKZGlDKnnFWQmu4kKCQ6cY8NIiN05yw6SUThqOnAEVSB1DKswSWFGwMbnd5fah-1xjHHTjo8W6Ni1266gZp2WZnvAvWJRQVIJWCbz-A666dWjTEZqq9LOS0W0a7CAbuhgDOt0H35iw0RT0tgGdGtDbBvS-gWS52eeaaE3tgmmtjwdfpagohEjY1Q7ziHhQf0K-AK9DjUM</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195584311</pqid></control><display><type>article</type><title>Direct implementation of abstract data types from abstract specifications</title><source>IEEE Electronic Library (IEL)</source><creator>Belkhouche, B. ; Urban, J. E.</creator><creatorcontrib>Belkhouche, B. ; Urban, J. E.</creatorcontrib><description>The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of translating in abstract data type specification into an executable program. This process defines an alternative methodology that provides the necessary tools for the early testing of the specifications and for the development of prototypes and implementation models.</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/TSE.1986.6312960</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Abstract data types ; abstract model ; Abstracts ; Applied sciences ; Computer languages ; Computer science; control theory; systems ; Data ; Development ; Engineering ; Exact sciences and technology ; implementation models ; language translation ; Libraries ; Programming languages ; prototyping ; Semantics ; Software ; Specification languages ; specification testing ; Specifications ; Syntactics ; synthesis ; Testing ; transformation rules</subject><ispartof>IEEE transactions on software engineering, 1986-05, Vol.SE-12 (5), p.649-661</ispartof><rights>1987 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) May 1986</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c379t-e8e331218575340f75680fef93054ce5af85a3888f8a5e53016e1f3e16ad03223</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6312960$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27901,27902,54733</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6312960$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7916266$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Belkhouche, B.</creatorcontrib><creatorcontrib>Urban, J. E.</creatorcontrib><title>Direct implementation of abstract data types from abstract specifications</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of translating in abstract data type specification into an executable program. This process defines an alternative methodology that provides the necessary tools for the early testing of the specifications and for the development of prototypes and implementation models.</description><subject>Abstract data types</subject><subject>abstract model</subject><subject>Abstracts</subject><subject>Applied sciences</subject><subject>Computer languages</subject><subject>Computer science; control theory; systems</subject><subject>Data</subject><subject>Development</subject><subject>Engineering</subject><subject>Exact sciences and technology</subject><subject>implementation models</subject><subject>language translation</subject><subject>Libraries</subject><subject>Programming languages</subject><subject>prototyping</subject><subject>Semantics</subject><subject>Software</subject><subject>Specification languages</subject><subject>specification testing</subject><subject>Specifications</subject><subject>Syntactics</subject><subject>synthesis</subject><subject>Testing</subject><subject>transformation rules</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1986</creationdate><recordtype>article</recordtype><recordid>eNqFkc1LAzEQxYMoWKt3wcsi4m3rZLPJJkfRqoWCB-s5xHQCKftlsj30vze1tYIXT3N4v_eYmUfIJYUJpaDuFm_TCVVSTASjhRJwREZUMZUzXsAxGQEomXMu1Sk5i3EFALyq-IjMHn1AO2S-6WtssB3M4Ls261xmPuIQTJKWZjDZsOkxZi50za8Qe7TeefttiefkxJk64sV-jsn703Tx8JLPX59nD_fz3LJKDTlKZGlDKnnFWQmu4kKCQ6cY8NIiN05yw6SUThqOnAEVSB1DKswSWFGwMbnd5fah-1xjHHTjo8W6Ni1266gZp2WZnvAvWJRQVIJWCbz-A666dWjTEZqq9LOS0W0a7CAbuhgDOt0H35iw0RT0tgGdGtDbBvS-gWS52eeaaE3tgmmtjwdfpagohEjY1Q7ziHhQf0K-AK9DjUM</recordid><startdate>19860501</startdate><enddate>19860501</enddate><creator>Belkhouche, B.</creator><creator>Urban, J. E.</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>JQ2</scope><scope>K9.</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>7SP</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>19860501</creationdate><title>Direct implementation of abstract data types from abstract specifications</title><author>Belkhouche, B. ; Urban, J. E.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c379t-e8e331218575340f75680fef93054ce5af85a3888f8a5e53016e1f3e16ad03223</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1986</creationdate><topic>Abstract data types</topic><topic>abstract model</topic><topic>Abstracts</topic><topic>Applied sciences</topic><topic>Computer languages</topic><topic>Computer science; control theory; systems</topic><topic>Data</topic><topic>Development</topic><topic>Engineering</topic><topic>Exact sciences and technology</topic><topic>implementation models</topic><topic>language translation</topic><topic>Libraries</topic><topic>Programming languages</topic><topic>prototyping</topic><topic>Semantics</topic><topic>Software</topic><topic>Specification languages</topic><topic>specification testing</topic><topic>Specifications</topic><topic>Syntactics</topic><topic>synthesis</topic><topic>Testing</topic><topic>transformation rules</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Belkhouche, B.</creatorcontrib><creatorcontrib>Urban, J. E.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Health & Medical Complete (Alumni)</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><collection>Electronics & Communications Abstracts</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Belkhouche, B.</au><au>Urban, J. E.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Direct implementation of abstract data types from abstract specifications</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1986-05-01</date><risdate>1986</risdate><volume>SE-12</volume><issue>5</issue><spage>649</spage><epage>661</epage><pages>649-661</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>The development of correct specifications is a critical task in the software development process. An alternative approach for the development of specifications is described. The approach relies on a specification language for abstract data types and synthesis system. The system is capable of translating in abstract data type specification into an executable program. This process defines an alternative methodology that provides the necessary tools for the early testing of the specifications and for the development of prototypes and implementation models.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/TSE.1986.6312960</doi><tpages>13</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 1986-05, Vol.SE-12 (5), p.649-661 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_proquest_journals_195584311 |
| source | IEEE Electronic Library (IEL) |
| subjects | Abstract data types abstract model Abstracts Applied sciences Computer languages Computer science control theory systems Data Development Engineering Exact sciences and technology implementation models language translation Libraries Programming languages prototyping Semantics Software Specification languages specification testing Specifications Syntactics synthesis Testing transformation rules |
| title | Direct implementation of abstract data types from abstract 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-28T12%3A51%3A00IST&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=Direct%20implementation%20of%20abstract%20data%20types%20from%20abstract%20specifications&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Belkhouche,%20B.&rft.date=1986-05-01&rft.volume=SE-12&rft.issue=5&rft.spage=649&rft.epage=661&rft.pages=649-661&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/TSE.1986.6312960&rft_dat=%3Cproquest_RIE%3E24027617%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=195584311&rft_id=info:pmid/&rft_ieee_id=6312960&rfr_iscdi=true |