Development of Veda, a prototyping tool for distributed algorithms
The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) for...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on software engineering 1988-03, Vol.14 (3), p.339-352 |
|---|---|
| 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 | 352 |
|---|---|
| container_issue | 3 |
| container_start_page | 339 |
| container_title | IEEE transactions on software engineering |
| container_volume | 14 |
| creator | Jard, C. Monin, J.-F. Groz, R. |
| description | The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) formal description technique, called Estelle. The development of Veda and its internal structure is presented, emphasizing the use of Prolog as a software engineering tool. Typical uses of Veda are discussed.< > |
| doi_str_mv | 10.1109/32.4654 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_ieee_primary_4654</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4654</ieee_id><sourcerecordid>1142639</sourcerecordid><originalsourceid>FETCH-LOGICAL-c360t-76e9b75f2f1120871489e102e155a6fbb2116d17053731fdc87bfbb7923d4c843</originalsourceid><addsrcrecordid>eNpdkM9LwzAYhoMoOKd49VhE9GJnvqRpmqPOnzDwol5D2iYzo21qkgr77-3c8ODpg_d7eHh5EToFPAPA4oaSWZazbA9NQFCRUkbwPppgLIqUsUIcoqMQVhhjxjmboLt7_a0b17e6i4kzyYeu1XWikt676OK6t90yic41iXE-qW2I3pZD1HWimqXzNn624RgdGNUEfbK7U_T--PA2f04Xr08v89tFWtEcx5TnWpScGWIACC44ZIXQgIkGxlRuypIA5DVwzCinYOqq4OWYckFonVVFRqfocusdu30NOkTZ2lDpplGddkOQJCvyjAGM4Pk_cOUG343dJIhxA54JPkJXW6jyLgSvjey9bZVfS8ByM6SkRG6GHMmLnU6FSjXGq66y4Q_nGAMtNsKzLWa11n_fX8MPvuZ38Q</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195587497</pqid></control><display><type>article</type><title>Development of Veda, a prototyping tool for distributed algorithms</title><source>IEEE Electronic Library (IEL)</source><creator>Jard, C. ; Monin, J.-F. ; Groz, R.</creator><creatorcontrib>Jard, C. ; Monin, J.-F. ; Groz, R.</creatorcontrib><description>The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) formal description technique, called Estelle. The development of Veda and its internal structure is presented, emphasizing the use of Prolog as a software engineering tool. Typical uses of Veda are discussed.< ></description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.4654</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Algorithms ; Applied sciences ; Computer programming ; Computer science; control theory; systems ; Costs ; Design ; Distributed algorithms ; Distributed processing ; Exact sciences and technology ; Hardware ; Laboratories ; Programming languages ; Protocol ; Protocols ; Prototypes ; Rapid prototyping ; Simulation ; Software ; Software algorithms ; Software engineering ; Software prototyping ; Software tools ; Virtual prototyping</subject><ispartof>IEEE transactions on software engineering, 1988-03, Vol.14 (3), p.339-352</ispartof><rights>1989 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Mar 1988</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c360t-76e9b75f2f1120871489e102e155a6fbb2116d17053731fdc87bfbb7923d4c843</citedby><cites>FETCH-LOGICAL-c360t-76e9b75f2f1120871489e102e155a6fbb2116d17053731fdc87bfbb7923d4c843</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4654$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27901,27902,54733</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4654$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=7001387$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Jard, C.</creatorcontrib><creatorcontrib>Monin, J.-F.</creatorcontrib><creatorcontrib>Groz, R.</creatorcontrib><title>Development of Veda, a prototyping tool for distributed algorithms</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) formal description technique, called Estelle. The development of Veda and its internal structure is presented, emphasizing the use of Prolog as a software engineering tool. Typical uses of Veda are discussed.< ></description><subject>Algorithms</subject><subject>Applied sciences</subject><subject>Computer programming</subject><subject>Computer science; control theory; systems</subject><subject>Costs</subject><subject>Design</subject><subject>Distributed algorithms</subject><subject>Distributed processing</subject><subject>Exact sciences and technology</subject><subject>Hardware</subject><subject>Laboratories</subject><subject>Programming languages</subject><subject>Protocol</subject><subject>Protocols</subject><subject>Prototypes</subject><subject>Rapid prototyping</subject><subject>Simulation</subject><subject>Software</subject><subject>Software algorithms</subject><subject>Software engineering</subject><subject>Software prototyping</subject><subject>Software tools</subject><subject>Virtual prototyping</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>BENPR</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNpdkM9LwzAYhoMoOKd49VhE9GJnvqRpmqPOnzDwol5D2iYzo21qkgr77-3c8ODpg_d7eHh5EToFPAPA4oaSWZazbA9NQFCRUkbwPppgLIqUsUIcoqMQVhhjxjmboLt7_a0b17e6i4kzyYeu1XWikt676OK6t90yic41iXE-qW2I3pZD1HWimqXzNn624RgdGNUEfbK7U_T--PA2f04Xr08v89tFWtEcx5TnWpScGWIACC44ZIXQgIkGxlRuypIA5DVwzCinYOqq4OWYckFonVVFRqfocusdu30NOkTZ2lDpplGddkOQJCvyjAGM4Pk_cOUG343dJIhxA54JPkJXW6jyLgSvjey9bZVfS8ByM6SkRG6GHMmLnU6FSjXGq66y4Q_nGAMtNsKzLWa11n_fX8MPvuZ38Q</recordid><startdate>19880301</startdate><enddate>19880301</enddate><creator>Jard, C.</creator><creator>Monin, J.-F.</creator><creator>Groz, R.</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>19880301</creationdate><title>Development of Veda, a prototyping tool for distributed algorithms</title><author>Jard, C. ; Monin, J.-F. ; Groz, R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c360t-76e9b75f2f1120871489e102e155a6fbb2116d17053731fdc87bfbb7923d4c843</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1988</creationdate><topic>Algorithms</topic><topic>Applied sciences</topic><topic>Computer programming</topic><topic>Computer science; control theory; systems</topic><topic>Costs</topic><topic>Design</topic><topic>Distributed algorithms</topic><topic>Distributed processing</topic><topic>Exact sciences and technology</topic><topic>Hardware</topic><topic>Laboratories</topic><topic>Programming languages</topic><topic>Protocol</topic><topic>Protocols</topic><topic>Prototypes</topic><topic>Rapid prototyping</topic><topic>Simulation</topic><topic>Software</topic><topic>Software algorithms</topic><topic>Software engineering</topic><topic>Software prototyping</topic><topic>Software tools</topic><topic>Virtual prototyping</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Jard, C.</creatorcontrib><creatorcontrib>Monin, J.-F.</creatorcontrib><creatorcontrib>Groz, R.</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</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</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>Jard, C.</au><au>Monin, J.-F.</au><au>Groz, R.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Development of Veda, a prototyping tool for distributed algorithms</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1988-03-01</date><risdate>1988</risdate><volume>14</volume><issue>3</issue><spage>339</spage><epage>352</epage><pages>339-352</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>The development of a simulator, called Veda, is described. Veda is a software tool to help designers in protocol modeling and validation. It is oriented towards the rapid prototyping of distributed algorithms. Algorithms are described using an ISO (International Organisation for Standardization) formal description technique, called Estelle. The development of Veda and its internal structure is presented, emphasizing the use of Prolog as a software engineering tool. Typical uses of Veda are discussed.< ></abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/32.4654</doi><tpages>14</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0098-5589 |
| ispartof | IEEE transactions on software engineering, 1988-03, Vol.14 (3), p.339-352 |
| issn | 0098-5589 1939-3520 |
| language | eng |
| recordid | cdi_ieee_primary_4654 |
| source | IEEE Electronic Library (IEL) |
| subjects | Algorithms Applied sciences Computer programming Computer science control theory systems Costs Design Distributed algorithms Distributed processing Exact sciences and technology Hardware Laboratories Programming languages Protocol Protocols Prototypes Rapid prototyping Simulation Software Software algorithms Software engineering Software prototyping Software tools Virtual prototyping |
| title | Development of Veda, a prototyping tool for distributed algorithms |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T18%3A50%3A47IST&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=Development%20of%20Veda,%20a%20prototyping%20tool%20for%20distributed%20algorithms&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Jard,%20C.&rft.date=1988-03-01&rft.volume=14&rft.issue=3&rft.spage=339&rft.epage=352&rft.pages=339-352&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.4654&rft_dat=%3Cproquest_RIE%3E1142639%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=195587497&rft_id=info:pmid/&rft_ieee_id=4654&rfr_iscdi=true |