Integration and Its Application of Formal Methods and Visual Models
Miu Li-jun · Computer and Modernization · 2011
The thesis represents the features and defects of formal method,analyzes the necessity of importing visual models in the formal development process,provides the process of integration of B-method and UML,which reduces the difficulty of making use of formal method directly,illustrates the application process by a case of automatic teller machine.