跳至内容
Industrial deployment of system engineering methods 線上預覽
關閉線上預覽
正在查...

Industrial deployment of system engineering methods

作者: Alexander Romanovsky; Martyn Thomas
出版商: Berlin ; New York : Springer, ©2013.
版本/格式:   電子書 : 文獻 : 英語所有版本和格式的總覽
資料庫:WorldCat
提要:
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and  再讀一些...
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在線上查詢

與資料的連結

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

類型/形式: Electronic books
其他的實體格式: Print version:
Industrial deployment of system engineering methods.
Berlin : Springer, [2013]
(DLC) 2013944049
(OCoLC)827083547
資料類型: 文獻, 網際網路資源
文件類型: 網路資源, 電腦資料
所有的作者/貢獻者: Alexander Romanovsky; Martyn Thomas
ISBN: 9783642331701 364233170X
OCLC系統控制編碼: 853265628
描述: 1 online resource (x, 259 p.) : ill.
内容: Introduction / Alexander Romanovsky and Martyn Thomas --
Integrated Project DEPLOY / Alexander Romanovsky --
Experience of deployment in the automotive industry / Rainer Gmehlich and Cliff Jones --
Improving railway data validation with ProB / Jérôme Falampin ... [et al.] --
Deployment in the space sector / Dubravka Ilić ... [et al.] --
Business information sector / Sebastian Wieczorek ... [et al.] --
Formal methods as an improvement tool / Aryldo G. Russo Jr. --
Critical Software Technologies' experience with formal methods / Alex Hill, Jose Reis, and Paulo Carvalho --
Experience of deploying Event-B in industrial microprocessor development / Stephen Wright and Kerstin Eder --
Industrial deployment of formal methods : trends and challenges / John Fitzgerald ... [et al.] --
Introducing formal methods into existing industrial practices / Martyn Thomas and Alexander Romanovsky --
Tooling / Michael Butler, Laurent Voisin, and Thomas Muller --
Technology transfer / David Basin and Thai Son Hoang --
After and outside DEPLOY : the DEPLOY ecosystem / Alexander Romanovsky --
Industrial software engineering and formal methods / Martyn Thomas and Alexander Romanovsky --
Appendix A. An introduction to the Event-B modelling method / Thai Son Hoang --
Appendix B. Evidence-based assistance for the adoption of formal methods in industry / Jean-Christophe Deprez, Christophe Ponsard, and Renaud De Landtsheer.
責任: Alexander Romanovsky, Martyn Thomas, editors.
更多資訊:

摘要:

This book summarizes the results of research on engineering methods for dependable systems through the deployment of formal methods in software development in applications such as automotive, space,  再讀一些...

評論

社評

出版商概要

"This book reports on a remarkable four-year experiment in the application of scientific method to the development and delivery of software products. Participants in the experiment included seven 再讀一些...

 
讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<http://www.worldcat.org/oclc/853265628>
library:oclcnum"853265628"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/853265628>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:copyrightYear"2013"
schema:datePublished"2013"
schema:description"Introduction / Alexander Romanovsky and Martyn Thomas -- Integrated Project DEPLOY / Alexander Romanovsky -- Experience of deployment in the automotive industry / Rainer Gmehlich and Cliff Jones -- Improving railway data validation with ProB / Jérôme Falampin ... [et al.] -- Deployment in the space sector / Dubravka Ilić ... [et al.] -- Business information sector / Sebastian Wieczorek ... [et al.] -- Formal methods as an improvement tool / Aryldo G. Russo Jr. -- Critical Software Technologies' experience with formal methods / Alex Hill, Jose Reis, and Paulo Carvalho -- Experience of deploying Event-B in industrial microprocessor development / Stephen Wright and Kerstin Eder -- Industrial deployment of formal methods : trends and challenges / John Fitzgerald ... [et al.] -- Introducing formal methods into existing industrial practices / Martyn Thomas and Alexander Romanovsky -- Tooling / Michael Butler, Laurent Voisin, and Thomas Muller -- Technology transfer / David Basin and Thai Son Hoang -- After and outside DEPLOY : the DEPLOY ecosystem / Alexander Romanovsky -- Industrial software engineering and formal methods / Martyn Thomas and Alexander Romanovsky -- Appendix A. An introduction to the Event-B modelling method / Thai Son Hoang -- Appendix B. Evidence-based assistance for the adoption of formal methods in industry / Jean-Christophe Deprez, Christophe Ponsard, and Renaud De Landtsheer."
schema:description"A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1761384551>
schema:genre"Electronic books."
schema:inLanguage"en"
schema:name"Industrial deployment of system engineering methods"
schema:numberOfPages"259"
schema:publisher
schema:url<http://lib.myilibrary.com?id=517307>
schema:url<http://site.ebrary.com/id/10733551>
schema:url
schema:url<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=607473>
schema:url<http://dx.doi.org/10.1007/978-3-642-33170-1>
schema:workExample

Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.