컨텐츠로 이동
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 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<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에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.