VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are sto...
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 | 358 |
|---|---|
| container_issue | |
| container_start_page | 351 |
| container_title | |
| container_volume | |
| creator | Hutter, Dieter Mantel, Heiko Rock, Georg Stephan, Werner Wolpers, Andreas Balser, Michael Reif, Wolfgang Schellhorn, Gerhard Stenzel, Kurt |
| description | We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process. |
| doi_str_mv | 10.1007/3-540-48257-1_26 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_1827621</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3061656_30_362</sourcerecordid><originalsourceid>FETCH-LOGICAL-p267t-544ca4c45114c4e6cad71de431210bfac92b12c5789eff2788644a2f6127b3df3</originalsourceid><addsrcrecordid>eNotkLtPwzAQxs1ThNKdMQNris927JgFodICUiWGAqvluHYbSJNgh0f_e9yWG-50r0_6fghdAh4BxuKaZjnDGStILjJQhB-gcxonuwEcogQ4QEYpk0f7BeeME3mMEkwxyaRg9BQlkuQMBKbiDA1DeMcxSFFImSfo9m0-uUnHbdP7tq6rZpn2Kxv7dVfb36rfpFWTTlu_1nU6b13_o71N7-23rdtubZs-XKATp-tgh_91gF6nk5fxYzZ7fnga382yjnDRRxPMaGZYDhCz5UYvBCwso0AAl04bSUogJheFtM4RURScMU0cByJKunB0gK72up0ORtfO68ZUQXW-Wmu_UVAQwQnEs9H-LMRNs7RelW37ERRgtcWpqIqM1I6e2uKMD_Rf17efXzb0ym4_TPTmdW1WuuutD4piDjznsSrKCf0Dv9Jx8g</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3061656_30_362</pqid></control><display><type>book_chapter</type><title>VSE: Controlling the Complexity in Formal Software Developments</title><source>Springer Books</source><creator>Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt</creator><contributor>Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, Werner</contributor><creatorcontrib>Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt ; Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, Werner</creatorcontrib><description>We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process.</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_26</identifier><identifier>OCLC: 925417037</identifier><identifier>LCCallNum: QA76.9.F67 -- I59 1998eb</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Dynamic Logic ; Exact sciences and technology ; Formal Development ; Proof Obligation ; Software ; Software engineering ; State Machine ; Symbolic Execution</subject><ispartof>Applied Formal Methods, 1999, p.351-358</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_26$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-48257-1_26$$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=1827621$$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>Hutter, Dieter</creatorcontrib><creatorcontrib>Mantel, Heiko</creatorcontrib><creatorcontrib>Rock, Georg</creatorcontrib><creatorcontrib>Stephan, Werner</creatorcontrib><creatorcontrib>Wolpers, Andreas</creatorcontrib><creatorcontrib>Balser, Michael</creatorcontrib><creatorcontrib>Reif, Wolfgang</creatorcontrib><creatorcontrib>Schellhorn, Gerhard</creatorcontrib><creatorcontrib>Stenzel, Kurt</creatorcontrib><title>VSE: Controlling the Complexity in Formal Software Developments</title><title>Applied Formal Methods</title><description>We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Dynamic Logic</subject><subject>Exact sciences and technology</subject><subject>Formal Development</subject><subject>Proof Obligation</subject><subject>Software</subject><subject>Software engineering</subject><subject>State Machine</subject><subject>Symbolic Execution</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>eNotkLtPwzAQxs1ThNKdMQNris927JgFodICUiWGAqvluHYbSJNgh0f_e9yWG-50r0_6fghdAh4BxuKaZjnDGStILjJQhB-gcxonuwEcogQ4QEYpk0f7BeeME3mMEkwxyaRg9BQlkuQMBKbiDA1DeMcxSFFImSfo9m0-uUnHbdP7tq6rZpn2Kxv7dVfb36rfpFWTTlu_1nU6b13_o71N7-23rdtubZs-XKATp-tgh_91gF6nk5fxYzZ7fnga382yjnDRRxPMaGZYDhCz5UYvBCwso0AAl04bSUogJheFtM4RURScMU0cByJKunB0gK72up0ORtfO68ZUQXW-Wmu_UVAQwQnEs9H-LMRNs7RelW37ERRgtcWpqIqM1I6e2uKMD_Rf17efXzb0ym4_TPTmdW1WuuutD4piDjznsSrKCf0Dv9Jx8g</recordid><startdate>1999</startdate><enddate>1999</enddate><creator>Hutter, Dieter</creator><creator>Mantel, Heiko</creator><creator>Rock, Georg</creator><creator>Stephan, Werner</creator><creator>Wolpers, Andreas</creator><creator>Balser, Michael</creator><creator>Reif, Wolfgang</creator><creator>Schellhorn, Gerhard</creator><creator>Stenzel, Kurt</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>VSE: Controlling the Complexity in Formal Software Developments</title><author>Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p267t-544ca4c45114c4e6cad71de431210bfac92b12c5789eff2788644a2f6127b3df3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>1999</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Dynamic Logic</topic><topic>Exact sciences and technology</topic><topic>Formal Development</topic><topic>Proof Obligation</topic><topic>Software</topic><topic>Software engineering</topic><topic>State Machine</topic><topic>Symbolic Execution</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hutter, Dieter</creatorcontrib><creatorcontrib>Mantel, Heiko</creatorcontrib><creatorcontrib>Rock, Georg</creatorcontrib><creatorcontrib>Stephan, Werner</creatorcontrib><creatorcontrib>Wolpers, Andreas</creatorcontrib><creatorcontrib>Balser, Michael</creatorcontrib><creatorcontrib>Reif, Wolfgang</creatorcontrib><creatorcontrib>Schellhorn, Gerhard</creatorcontrib><creatorcontrib>Stenzel, Kurt</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>Hutter, Dieter</au><au>Mantel, Heiko</au><au>Rock, Georg</au><au>Stephan, Werner</au><au>Wolpers, Andreas</au><au>Balser, Michael</au><au>Reif, Wolfgang</au><au>Schellhorn, Gerhard</au><au>Stenzel, Kurt</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>VSE: Controlling the Complexity in Formal Software Developments</atitle><btitle>Applied Formal Methods</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1999</date><risdate>1999</risdate><spage>351</spage><epage>358</epage><pages>351-358</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540664629</isbn><isbn>9783540664628</isbn><eisbn>3540482571</eisbn><eisbn>9783540482574</eisbn><abstract>We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-48257-1_26</doi><oclcid>925417037</oclcid><tpages>8</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Applied Formal Methods, 1999, p.351-358 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1827621 |
| source | Springer Books |
| subjects | Applied sciences Computer science control theory systems Dynamic Logic Exact sciences and technology Formal Development Proof Obligation Software Software engineering State Machine Symbolic Execution |
| title | VSE: Controlling the Complexity in Formal Software Developments |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T19%3A07%3A28IST&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=VSE:%20Controlling%20the%20Complexity%20in%20Formal%20Software%20Developments&rft.btitle=Applied%20Formal%20Methods&rft.au=Hutter,%20Dieter&rft.date=1999&rft.spage=351&rft.epage=358&rft.pages=351-358&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_26&rft_dat=%3Cproquest_pasca%3EEBC3061656_30_362%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_30_362&rft_id=info:pmid/&rfr_iscdi=true |