Description: Industrial Deployment of System Engineering Methods by Alexander Romanovsky, Martyn Thomas Estimated delivery 3-12 business days Format Hardcover Condition Brand New Description 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. Publisher 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. Author Biography Prof. Alexander Romanovsky works in the School of Computing Science, Newcastle University; he has been working on system dependability and fault tolerance for many years, in particular on reasoning about faults and fault tolerance during early phases of system development, and he coordinated the related RODIN and DEPLOY projects. Dr. Martyn Thomas in an industrialist who has been concerned with safety-critical and other high-dependence computer systems since the 1980s. Details ISBN 3642331696 ISBN-13 9783642331695 Title Industrial Deployment of System Engineering Methods Author Alexander Romanovsky, Martyn Thomas Format Hardcover Year 2013 Pages 262 Edition 2013th Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG GE_Item_ID:137851460; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys
Price: 77.35 USD
Location: Fairfield, Ohio
End Time: 2024-11-24T03:05:37.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN-13: 9783642331695
Book Title: Industrial Deployment of System Engineering Methods
Number of Pages: X, 262 Pages
Language: English
Publication Name: Industrial Deployment of System Engineering Methods
Publisher: Springer Berlin / Heidelberg
Subject: Industrial Engineering, Software Development & Engineering / General, Computer Science
Publication Year: 2013
Type: Textbook
Item Weight: 187.8 Oz
Author: Martyn Thomas
Subject Area: Computers, Technology & Engineering
Item Length: 9.3 in
Item Width: 6.1 in
Format: Hardcover