2024
Systematic Transformation Method from UML to Event-B
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 formalizati...
Sheng-rong Zou
· 0 citations