{ "item_title" : "Industrial Deployment of System Engineering Methods", "item_author" : [" Alexander Romanovsky", "Martyn Thomas "], "item_description" : "Introduction.- DEPLOY Integrated Project.- Experience of Deployment in the Automotive Industry.- Improving Railway Data Validation with ProB.- Deployment in the Space Sector.- Business Information Sector.- Formal Methods as an Improvement Tool.- Critical Software Technologies Experience with Formal Methods.- Experiences Developing Event-B in an Industrial Microprocessor Development.- Industrial Deployment of Formal Methods: Trends and Challenges.- Introducing Formal Methods into Existing Industrial Practices Tooling.- Technology Transfer.- After and Outside DEPLOY: the DEPLOY Ecosystems.- Industrial Software Engineering and Formal Methods.- App. A An Introduction to the Event-B Modelling Method.- App. B Evidence-Based Assistance for the Adoption of Formal Methods in Industry.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/64/243/064/3642430643_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details