Embedding Formal Development in Software Engineering

Formal methods have had considerable success in developing the theoretical fundamentals of many areas of computing, but have had considerably less success at penetrating the areas where those formal techniques could be applied. This can be regarded as a failure of formal methods. This paper is conce...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Robinson, Ken
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Class Diagram Computer science control theory systems Exact sciences and technology Formal Development Formal Method General aspects Occupational training. Personnel. Work management Software Software Development Software Engineer Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	213
container_issue
container_start_page	203
container_title
container_volume	3294
creator	Robinson, Ken
description	Formal methods have had considerable success in developing the theoretical fundamentals of many areas of computing, but have had considerably less success at penetrating the areas where those formal techniques could be applied. This can be regarded as a failure of formal methods. This paper is concerned, in particular, with the lack of impact of formal techniques on software development, and especially on software development curricula. The paper presents some diagnoses of the cause of the problem and discusses attempts at integration of formal development into a Software Engineering program.
doi_str_mv	10.1007/978-3-540-30472-2_13
format	Book Chapter
fullrecord	<record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_16368428</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3088959_18_211</sourcerecordid><originalsourceid>FETCH-LOGICAL-p272t-2b6d3bc18ab2f45771774dfe656a92af33256580054c531bc404be39b180aae53</originalsourceid><addsrcrecordid>eNotkE9PwzAMxcNfbYx9Aw69cAwkdtIkRzQ2QJrEAZC4RWmXjkLXlqSA-PZkG75Yen7Psn-EXHB2xRlT10ZpilQKRpEJBRQsxwNyhknZCa-HZMxzzimiMEf7AWAS4JiMkwWoUQJPyUjmBsCAGZFpjO8sFcicMzkmYr4p_GpVt-ts0YWNa7Jb_-2brt_4dsjqNnvqquHHBZ_N23Xdeh-S9ZycVK6JfvrfJ-RlMX-e3dPl493D7GZJe1AwUCjyFRYl166ASkiluFJiVflc5s6AqxDTFVIzJkUpkRelYKLwaAqumXNe4oRc7vf2LpauqYJryzraPtQbF34tzzHXAnTywd4X--15Ptii6z6i5cxuOdrE0aJNcOwOm91yTCH8Xx66zy8fB-u3qTL9HVxTvrl-8CGmhNZGGsu1Bc7xDxCJb3A</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3088959_18_211</pqid></control><display><type>book_chapter</type><title>Embedding Formal Development in Software Engineering</title><source>Springer Books</source><creator>Robinson, Ken</creator><contributor>Dean, C. Neville ; Boute, Raymond T ; Boute, Raymond T. ; Dean, C. Neville</contributor><creatorcontrib>Robinson, Ken ; Dean, C. Neville ; Boute, Raymond T ; Boute, Raymond T. ; Dean, C. Neville</creatorcontrib><description>Formal methods have had considerable success in developing the theoretical fundamentals of many areas of computing, but have had considerably less success at penetrating the areas where those formal techniques could be applied. This can be regarded as a failure of formal methods. This paper is concerned, in particular, with the lack of impact of formal techniques on software development, and especially on software development curricula. The paper presents some diagnoses of the cause of the problem and discusses attempts at integration of formal development into a Software Engineering program.</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_13</identifier><identifier>OCLC: 56922929</identifier><identifier>LCCallNum: QA75.5-76.95</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Class Diagram ; Computer science; control theory; systems ; Exact sciences and technology ; Formal Development ; Formal Method ; General aspects ; Occupational training. Personnel. Work management ; Software ; Software Development ; Software Engineer ; Software engineering</subject><ispartof>Lecture notes in computer science, 2004, Vol.3294, p.203-213</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_13$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-540-30472-2_13$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4035,4036,27904,38234,41421,42490</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=16368428$$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>Robinson, Ken</creatorcontrib><title>Embedding Formal Development in Software Engineering</title><title>Lecture notes in computer science</title><description>Formal methods have had considerable success in developing the theoretical fundamentals of many areas of computing, but have had considerably less success at penetrating the areas where those formal techniques could be applied. This can be regarded as a failure of formal methods. This paper is concerned, in particular, with the lack of impact of formal techniques on software development, and especially on software development curricula. The paper presents some diagnoses of the cause of the problem and discusses attempts at integration of formal development into a Software Engineering program.</description><subject>Applied sciences</subject><subject>Class Diagram</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Formal Development</subject><subject>Formal Method</subject><subject>General aspects</subject><subject>Occupational training. Personnel. Work management</subject><subject>Software</subject><subject>Software Development</subject><subject>Software Engineer</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>eNotkE9PwzAMxcNfbYx9Aw69cAwkdtIkRzQ2QJrEAZC4RWmXjkLXlqSA-PZkG75Yen7Psn-EXHB2xRlT10ZpilQKRpEJBRQsxwNyhknZCa-HZMxzzimiMEf7AWAS4JiMkwWoUQJPyUjmBsCAGZFpjO8sFcicMzkmYr4p_GpVt-ts0YWNa7Jb_-2brt_4dsjqNnvqquHHBZ_N23Xdeh-S9ZycVK6JfvrfJ-RlMX-e3dPl493D7GZJe1AwUCjyFRYl166ASkiluFJiVflc5s6AqxDTFVIzJkUpkRelYKLwaAqumXNe4oRc7vf2LpauqYJryzraPtQbF34tzzHXAnTywd4X--15Ptii6z6i5cxuOdrE0aJNcOwOm91yTCH8Xx66zy8fB-u3qTL9HVxTvrl-8CGmhNZGGsu1Bc7xDxCJb3A</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Robinson, Ken</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>Embedding Formal Development in Software Engineering</title><author>Robinson, Ken</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p272t-2b6d3bc18ab2f45771774dfe656a92af33256580054c531bc404be39b180aae53</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Applied sciences</topic><topic>Class Diagram</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Formal Development</topic><topic>Formal Method</topic><topic>General aspects</topic><topic>Occupational training. Personnel. Work management</topic><topic>Software</topic><topic>Software Development</topic><topic>Software Engineer</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Robinson, Ken</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>Robinson, Ken</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>Embedding Formal Development in Software Engineering</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>203</spage><epage>213</epage><pages>203-213</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540236112</isbn><isbn>9783540236115</isbn><eisbn>354030472X</eisbn><eisbn>9783540304722</eisbn><abstract>Formal methods have had considerable success in developing the theoretical fundamentals of many areas of computing, but have had considerably less success at penetrating the areas where those formal techniques could be applied. This can be regarded as a failure of formal methods. This paper is concerned, in particular, with the lack of impact of formal techniques on software development, and especially on software development curricula. The paper presents some diagnoses of the cause of the problem and discusses attempts at integration of formal development into a Software Engineering program.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/978-3-540-30472-2_13</doi><oclcid>56922929</oclcid><tpages>11</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof	Lecture notes in computer science, 2004, Vol.3294, p.203-213
issn	0302-9743 1611-3349
language	eng
recordid	cdi_pascalfrancis_primary_16368428
source	Springer Books
subjects	Applied sciences Class Diagram Computer science control theory systems Exact sciences and technology Formal Development Formal Method General aspects Occupational training. Personnel. Work management Software Software Development Software Engineer Software engineering
title	Embedding Formal Development in Software Engineering
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-23T09%3A00%3A50IST&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=Embedding%20Formal%20Development%20in%20Software%20Engineering&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Robinson,%20Ken&rft.date=2004&rft.volume=3294&rft.spage=203&rft.epage=213&rft.pages=203-213&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_13&rft_dat=%3Cproquest_pasca%3EEBC3088959_18_211%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_18_211&rft_id=info:pmid/&rfr_iscdi=true