Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

The Refinement Validation of UML-B Pattern - a book by El-Sayed, Eman

The Refinement Validation of UML-B Pattern

The Refinement Validation of ATM Model by Using UML-B

The Refinement Validation of UML-B Pattern( )
Author: El-Sayed, Eman
ISBN:978-1-4912-2746-6
Publication Date:Jul 2013
Publisher:CreateSpace Independent Publishing Platform
Book Format:Paperback
List Price:USD $75.00
Book Description:

Event-B is a formal method to develop the computer software in modeling level and analysis of dependable applications. It is based on abstract machine notation. It is supported by an open and extendable Eclipse-based tool set called Rodin. In recent years, Event-B and Rodin have been used to model complex real world systems and also prove consistency properties of them. However, refinement that kind of systems which have difficult proofs is not an easy task, so Event-B design pattern...
More Description

Book Details
Pages:68
Physical Dimensions (W X L X H):6 x 9 x 0.16 Inches
Book Weight:0.34 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Testimony
Robertson, Robbie
Hardback: $30.00
The Hidden Life of Trees
Wohlleben, Peter
Hardback: $24.95
A Confederacy of Dunces
Toole, John Kennedy
Hardback:

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.