An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools
Even though the development of formal methods makes steady progress with respect to techniques and tool support, their acceptance in industry is still relatively low. One reason for this probably stems from the fact that most formal approaches require users to forget about their conventional techniq...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 195 |
|---|---|
| container_issue | |
| container_start_page | 184 |
| container_title | |
| container_volume | |
| creator | Büssow, Robert Grieskamp, Wolfgang Heicking, Winfried Herrmann, Stephan |
| description | Even though the development of formal methods makes steady progress with respect to techniques and tool support, their acceptance in industry is still relatively low. One reason for this probably stems from the fact that most formal approaches require users to forget about their conventional techniques and tools, and to relearn in a new environment. What makes this switch even harder to accept: due to their research character, tools for formal methods can usually not compete w.r.t. convenience, stability, and degree of integration to conventional, state-of-the-art commercial tools. |
| doi_str_mv | 10.1007/3-540-48257-1_11 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_1829777</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3061656_15_195</sourcerecordid><originalsourceid>FETCH-LOGICAL-p265t-cf059faa3dd4665311094f17ce860794b03ee4090c0e80d25401ba49f2acc5853</originalsourceid><addsrcrecordid>eNotkMtP3DAQh90HVRfKnaMPXENn4ld8RAgKEhWXrXq0vM5kNyXYwQ5I_e_xssxlpPk9pPkYO0O4QADzUzRKQiO7VpkGHeIndizq5f2An9kKNWIjhLRfDoLWUrf2K1uBgLaxRopvbGVbJdGAMN_ZaSn_oE7bddaqFft7GfnDTJFfx9cxp_hEceFDynzZEb-LC22zX8YUeRr4LS2U05YipZfCf6eepmmMW76msIvj8wsV7mPP1ylN5Qc7GvxU6PRjn7A_N9frq9vm_uHX3dXlfTO3Wi1NGEDZwXvR91JrJRDBygFNoE6DsXIDgkiChQDUQV__ANx4aYfWh6A6JU7Y-aF39iX4acg-hrG4OY9PPv932LXWGFNtFwdbqUrcUnablB6LQ3B7zE642uzeqbo95hoQH7057T9bHO0ToeLJfgo7P1cWxQnQqJV2qBxaJd4Ak_Z6nw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3061656_15_195</pqid></control><display><type>book_chapter</type><title>An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools</title><source>Springer Books</source><creator>Büssow, Robert ; Grieskamp, Wolfgang ; Heicking, Winfried ; Herrmann, Stephan</creator><contributor>Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, Werner</contributor><creatorcontrib>Büssow, Robert ; Grieskamp, Wolfgang ; Heicking, Winfried ; Herrmann, Stephan ; Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, Werner</creatorcontrib><description>Even though the development of formal methods makes steady progress with respect to techniques and tool support, their acceptance in industry is still relatively low. One reason for this probably stems from the fact that most formal approaches require users to forget about their conventional techniques and tools, and to relearn in a new environment. What makes this switch even harder to accept: due to their research character, tools for formal methods can usually not compete w.r.t. convenience, stability, and degree of integration to conventional, state-of-the-art commercial tools.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540664629</identifier><identifier>ISBN: 9783540664628</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540482571</identifier><identifier>EISBN: 9783540482574</identifier><identifier>DOI: 10.1007/3-540-48257-1_11</identifier><identifier>OCLC: 925417037</identifier><identifier>LCCallNum: QA76.9.F67 -- I59 1998eb</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Abstract Syntax ; Application Program Interface ; Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Formal Method ; Function Adaptor ; Programming theory ; Theoretical computing ; Tool Chain</subject><ispartof>Applied Formal Methods, 1999, p.184-195</ispartof><rights>Springer-Verlag Berlin Heidelberg 1999</rights><rights>1999 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3061656-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-48257-1_11$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-48257-1_11$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4050,4051,27925,38255,41442,42511</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1829777$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Ullmann, Markus</contributor><contributor>Traverso, Paolo</contributor><contributor>Hutter, Dieter</contributor><contributor>Stephan, Werner</contributor><creatorcontrib>Büssow, Robert</creatorcontrib><creatorcontrib>Grieskamp, Wolfgang</creatorcontrib><creatorcontrib>Heicking, Winfried</creatorcontrib><creatorcontrib>Herrmann, Stephan</creatorcontrib><title>An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools</title><title>Applied Formal Methods</title><description>Even though the development of formal methods makes steady progress with respect to techniques and tool support, their acceptance in industry is still relatively low. One reason for this probably stems from the fact that most formal approaches require users to forget about their conventional techniques and tools, and to relearn in a new environment. What makes this switch even harder to accept: due to their research character, tools for formal methods can usually not compete w.r.t. convenience, stability, and degree of integration to conventional, state-of-the-art commercial tools.</description><subject>Abstract Syntax</subject><subject>Application Program Interface</subject><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Formal Method</subject><subject>Function Adaptor</subject><subject>Programming theory</subject><subject>Theoretical computing</subject><subject>Tool Chain</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540664629</isbn><isbn>9783540664628</isbn><isbn>3540482571</isbn><isbn>9783540482574</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>1999</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkMtP3DAQh90HVRfKnaMPXENn4ld8RAgKEhWXrXq0vM5kNyXYwQ5I_e_xssxlpPk9pPkYO0O4QADzUzRKQiO7VpkGHeIndizq5f2An9kKNWIjhLRfDoLWUrf2K1uBgLaxRopvbGVbJdGAMN_ZaSn_oE7bddaqFft7GfnDTJFfx9cxp_hEceFDynzZEb-LC22zX8YUeRr4LS2U05YipZfCf6eepmmMW76msIvj8wsV7mPP1ylN5Qc7GvxU6PRjn7A_N9frq9vm_uHX3dXlfTO3Wi1NGEDZwXvR91JrJRDBygFNoE6DsXIDgkiChQDUQV__ANx4aYfWh6A6JU7Y-aF39iX4acg-hrG4OY9PPv932LXWGFNtFwdbqUrcUnablB6LQ3B7zE642uzeqbo95hoQH7057T9bHO0ToeLJfgo7P1cWxQnQqJV2qBxaJd4Ak_Z6nw</recordid><startdate>1999</startdate><enddate>1999</enddate><creator>Büssow, Robert</creator><creator>Grieskamp, Wolfgang</creator><creator>Heicking, Winfried</creator><creator>Herrmann, Stephan</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>1999</creationdate><title>An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools</title><author>Büssow, Robert ; Grieskamp, Wolfgang ; Heicking, Winfried ; Herrmann, Stephan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p265t-cf059faa3dd4665311094f17ce860794b03ee4090c0e80d25401ba49f2acc5853</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>1999</creationdate><topic>Abstract Syntax</topic><topic>Application Program Interface</topic><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Formal Method</topic><topic>Function Adaptor</topic><topic>Programming theory</topic><topic>Theoretical computing</topic><topic>Tool Chain</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Büssow, Robert</creatorcontrib><creatorcontrib>Grieskamp, Wolfgang</creatorcontrib><creatorcontrib>Heicking, Winfried</creatorcontrib><creatorcontrib>Herrmann, Stephan</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Büssow, Robert</au><au>Grieskamp, Wolfgang</au><au>Heicking, Winfried</au><au>Herrmann, Stephan</au><au>Ullmann, Markus</au><au>Traverso, Paolo</au><au>Hutter, Dieter</au><au>Stephan, Werner</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools</atitle><btitle>Applied Formal Methods</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1999</date><risdate>1999</risdate><spage>184</spage><epage>195</epage><pages>184-195</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540664629</isbn><isbn>9783540664628</isbn><eisbn>3540482571</eisbn><eisbn>9783540482574</eisbn><abstract>Even though the development of formal methods makes steady progress with respect to techniques and tool support, their acceptance in industry is still relatively low. One reason for this probably stems from the fact that most formal approaches require users to forget about their conventional techniques and tools, and to relearn in a new environment. What makes this switch even harder to accept: due to their research character, tools for formal methods can usually not compete w.r.t. convenience, stability, and degree of integration to conventional, state-of-the-art commercial tools.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-48257-1_11</doi><oclcid>925417037</oclcid><tpages>12</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Applied Formal Methods, 1999, p.184-195 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1829777 |
| source | Springer Books |
| subjects | Abstract Syntax Application Program Interface Applied sciences Computer science control theory systems Exact sciences and technology Formal Method Function Adaptor Programming theory Theoretical computing Tool Chain |
| title | An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-19T11%3A46%3A02IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=An%20Open%20Environment%20for%20the%20Integration%20of%20Heterogeneous%20Modelling%20Techniques%20and%20Tools&rft.btitle=Applied%20Formal%20Methods&rft.au=B%C3%BCssow,%20Robert&rft.date=1999&rft.spage=184&rft.epage=195&rft.pages=184-195&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540664629&rft.isbn_list=9783540664628&rft_id=info:doi/10.1007/3-540-48257-1_11&rft_dat=%3Cproquest_pasca%3EEBC3061656_15_195%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540482571&rft.eisbn_list=9783540482574&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3061656_15_195&rft_id=info:pmid/&rfr_iscdi=true |