Systematic Transformation Method from UML to Event B is popular PDF and ePub book, written by Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua in 2024-06-05, it is a fantastic choice for those who relish reading online the Antiques & Collectibles genre. Let's immerse ourselves in this engaging Antiques & Collectibles book by exploring the summary and details provided below. Remember, Systematic Transformation Method from UML to Event B can be Read Online from any device for your convenience.
Systematic Transformation Method from UML to Event B Book PDF Summary
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.
Detail Book of Systematic Transformation Method from UML to Event B PDF
- Author : Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua
- Release : 05 June 2024
- Publisher : Scientific Research Publishing, Inc. USA
- ISBN : 9781649979131
- Genre : Antiques & Collectibles
- Total Page : 101 pages
- Language : English
- PDF File Size : 9,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Systematic Transformation Method from UML to Event B by Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.