Retrospect and Prospect of Formal Methods Education in China
Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of fo...
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 | 234 |
---|---|
container_issue | |
container_start_page | 225 |
container_title | |
container_volume | 3294 |
creator | Xu, Baowen Zhang, Yingzhou Li, Yanhui |
description | Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world. |
doi_str_mv | 10.1007/978-3-540-30472-2_15 |
format | Book Chapter |
fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_16368287</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3088959_20_233</sourcerecordid><originalsourceid>FETCH-LOGICAL-p272t-12aea242a944d7613d3a8d08a1a7db88e45dc3dcc9d654cf9d7d4e4eb667fb6b3</originalsourceid><addsrcrecordid>eNo1kEtPHDEQhJ0HERvgH3CYC0cHu9vjh5RLtIIkEihRFCRuVo_tYQeWmYk9HPj3eFnSl1ZXV9XhY-xUii9SCHPujOXIWyU4CmWAg5ftO_YZq_Iq3L5nK6ml5IjKfdg_AKsAH9mqWoA7o_ATO2y1A3DgDtlJKfeiDrRainbFvv5JS57KnMLS0Bib3_-PqW8up_xI2-Y6LZspluYiPgVahmlshrFZb4aRjtlBT9uSTt72Ebu5vPi7_sGvfn3_uf52xWcwsHAJlAgUkFMqGi0xItkoLEkysbM2qTYGjCG4qFsVehdNVEmlTmvTd7rDI3a2752pBNr2mcYwFD_n4ZHys5catQVrqg_2vlJf413Kvpumh-Kl8DuevvL06Csk_4rP73jWEL6V5-nfUyqLT7tUSOOSaRs2NC8pl5qw1rXOg_CAiC-7VnNi</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3088959_20_233</pqid></control><display><type>book_chapter</type><title>Retrospect and Prospect of Formal Methods Education in China</title><source>Springer Books</source><creator>Xu, Baowen ; Zhang, Yingzhou ; Li, Yanhui</creator><contributor>Dean, C. Neville ; Boute, Raymond T ; Boute, Raymond T. ; Dean, C. Neville</contributor><creatorcontrib>Xu, Baowen ; Zhang, Yingzhou ; Li, Yanhui ; Dean, C. Neville ; Boute, Raymond T ; Boute, Raymond T. ; Dean, C. Neville</creatorcontrib><description>Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540236112</identifier><identifier>ISBN: 9783540236115</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 354030472X</identifier><identifier>EISBN: 9783540304722</identifier><identifier>DOI: 10.1007/978-3-540-30472-2_15</identifier><identifier>OCLC: 56922929</identifier><identifier>LCCallNum: QA75.5-76.95</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Formal Language ; Formal Meth ; Formal Method ; General aspects ; Model Check ; Occupational training. Personnel. Work management ; Reliable Software ; Software ; Software engineering</subject><ispartof>Lecture notes in computer science, 2004, Vol.3294, p.225-234</ispartof><rights>Springer-Verlag Berlin Heidelberg 2004</rights><rights>2005 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/3088959-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/978-3-540-30472-2_15$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-540-30472-2_15$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,777,778,782,787,788,791,4038,4039,27908,38238,41425,42494</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=16368287$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Dean, C. Neville</contributor><contributor>Boute, Raymond T</contributor><contributor>Boute, Raymond T.</contributor><contributor>Dean, C. Neville</contributor><creatorcontrib>Xu, Baowen</creatorcontrib><creatorcontrib>Zhang, Yingzhou</creatorcontrib><creatorcontrib>Li, Yanhui</creatorcontrib><title>Retrospect and Prospect of Formal Methods Education in China</title><title>Lecture notes in computer science</title><description>Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Formal Language</subject><subject>Formal Meth</subject><subject>Formal Method</subject><subject>General aspects</subject><subject>Model Check</subject><subject>Occupational training. Personnel. Work management</subject><subject>Reliable Software</subject><subject>Software</subject><subject>Software engineering</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540236112</isbn><isbn>9783540236115</isbn><isbn>354030472X</isbn><isbn>9783540304722</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2004</creationdate><recordtype>book_chapter</recordtype><recordid>eNo1kEtPHDEQhJ0HERvgH3CYC0cHu9vjh5RLtIIkEihRFCRuVo_tYQeWmYk9HPj3eFnSl1ZXV9XhY-xUii9SCHPujOXIWyU4CmWAg5ftO_YZq_Iq3L5nK6ml5IjKfdg_AKsAH9mqWoA7o_ATO2y1A3DgDtlJKfeiDrRainbFvv5JS57KnMLS0Bib3_-PqW8up_xI2-Y6LZspluYiPgVahmlshrFZb4aRjtlBT9uSTt72Ebu5vPi7_sGvfn3_uf52xWcwsHAJlAgUkFMqGi0xItkoLEkysbM2qTYGjCG4qFsVehdNVEmlTmvTd7rDI3a2752pBNr2mcYwFD_n4ZHys5catQVrqg_2vlJf413Kvpumh-Kl8DuevvL06Csk_4rP73jWEL6V5-nfUyqLT7tUSOOSaRs2NC8pl5qw1rXOg_CAiC-7VnNi</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Xu, Baowen</creator><creator>Zhang, Yingzhou</creator><creator>Li, Yanhui</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2004</creationdate><title>Retrospect and Prospect of Formal Methods Education in China</title><author>Xu, Baowen ; Zhang, Yingzhou ; Li, Yanhui</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p272t-12aea242a944d7613d3a8d08a1a7db88e45dc3dcc9d654cf9d7d4e4eb667fb6b3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Formal Language</topic><topic>Formal Meth</topic><topic>Formal Method</topic><topic>General aspects</topic><topic>Model Check</topic><topic>Occupational training. Personnel. Work management</topic><topic>Reliable Software</topic><topic>Software</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Xu, Baowen</creatorcontrib><creatorcontrib>Zhang, Yingzhou</creatorcontrib><creatorcontrib>Li, Yanhui</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>Xu, Baowen</au><au>Zhang, Yingzhou</au><au>Li, Yanhui</au><au>Dean, C. Neville</au><au>Boute, Raymond T</au><au>Boute, Raymond T.</au><au>Dean, C. Neville</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Retrospect and Prospect of Formal Methods Education in China</atitle><btitle>Lecture notes in computer science</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2004</date><risdate>2004</risdate><volume>3294</volume><spage>225</spage><epage>234</epage><pages>225-234</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540236112</isbn><isbn>9783540236115</isbn><eisbn>354030472X</eisbn><eisbn>9783540304722</eisbn><abstract>Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/978-3-540-30472-2_15</doi><oclcid>56922929</oclcid><tpages>10</tpages></addata></record> |
fulltext | fulltext |
identifier | ISSN: 0302-9743 |
ispartof | Lecture notes in computer science, 2004, Vol.3294, p.225-234 |
issn | 0302-9743 1611-3349 |
language | eng |
recordid | cdi_pascalfrancis_primary_16368287 |
source | Springer Books |
subjects | Applied sciences Computer science control theory systems Exact sciences and technology Formal Language Formal Meth Formal Method General aspects Model Check Occupational training. Personnel. Work management Reliable Software Software Software engineering |
title | Retrospect and Prospect of Formal Methods Education in China |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-16T06%3A13%3A46IST&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=Retrospect%20and%20Prospect%20of%20Formal%20Methods%20Education%20in%20China&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Xu,%20Baowen&rft.date=2004&rft.volume=3294&rft.spage=225&rft.epage=234&rft.pages=225-234&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540236112&rft.isbn_list=9783540236115&rft_id=info:doi/10.1007/978-3-540-30472-2_15&rft_dat=%3Cproquest_pasca%3EEBC3088959_20_233%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=354030472X&rft.eisbn_list=9783540304722&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3088959_20_233&rft_id=info:pmid/&rfr_iscdi=true |