Systematic Transformation Method from UML to Event-B PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Systematic Transformation Method from UML to Event-B PDF full book. Access full book title Systematic Transformation Method from UML to Event-B by Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua. Download full books in PDF and EPUB format.

Systematic Transformation Method from UML to Event-B

Systematic Transformation Method from UML to Event-B PDF Author: Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua
Publisher: Scientific Research Publishing, Inc. USA
ISBN: 1649979134
Category : Antiques & Collectibles
Languages : en
Pages : 101

Get Book Here

Book Description
Since the emergence of software engineering in the late 1960s, require-ments analysis has always been an important theme of software development. In the process of software development, many people are needed to coop-erate to ensure the stability and reliability of the software. According to the degree of formalization in the software development process, software en-gineering methods can be divided into three types: non-formal, semi-formal and formal. In object- oriented software development, UML has become a de facto modeling standard. However, although UML is intuitive and easy to understand and apply, it has inaccurate semantics, and UML is a semi-formal modeling language that cannot be formally verified. Event-B is a formal method based on a large number of mathematical predicate logic, which is accurate but difficult to understand and apply. Therefore, how to combine the advantages of UML diagrams and Event- B methods is the focus of re-search.