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


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
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
Physical Dimensions (W X L X H):6 x 9 x 0.16 Inches
Book Weight:0.34 Pounds

Book Seller





Loading Stock Details...

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 itunes_store

Featured Books

Bobby Kennedy
Matthews, Chris
Hardback: $28.99
Townsend, Jessica
Hardback: $17.99
Paradise Lost
Milton, John
Paperback: $22.99

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.