The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON ELECTRONICS
Transactions ID Number: 31-870
Full Name: Xinben Li
Position: Professor
Age: ON
Sex: Female
Address: No.8 South Qian Hu Road Ningbo
Country: CHINA
Tel:
Tel prefix:
Fax:
E-mail address: xinbenli@tom.com
Other E-mails: gaoyibo@gmail.com
Title of the Paper: Formal Development of a Washing Machine Controller Model Based on Formal Design Patterns
Authors as they appear in the Paper:
Email addresses of all the authors:
Number of paper pages: 10
Abstract: Formal methods approach to software construction can significantly increase the reliability and correctness of the resulting software. Formal methods users are given sophisticated languages and tools for constructing software models, but they often lack some systematic methodological measures to help. Formal design patterns can help formal methods users speed up the development process by re-using and incorporating some pre-defined proved and refined models, as design patterns do in object-oriented software. Some formal design patterns are presented and applied to the development of a washing machine controller model in Event-B that is a formal method for modeling and reasoning about complex discrete system.
Keywords: Formal methods, Event-B, Design Patterns, Washing Machine Controller
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress:
IP ADDRESS: 218.71.166.4
