Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development
An approach for specification construction using property-preserving refinement patterns
Proceedings of the 2008 ACM symposium on Applied computing
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
The Growing Divide in the Patterns World
IEEE Software
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Teaching formal methods in the context of software engineering
ACM SIGCSE Bulletin
Really Rethinking 'Formal Methods'
Computer
An outline pattern language for Z: five illustrations and two tables
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
| Hi-index | 0.03 |
Refining informal ideas into appropriate formal expressions is an essential and skillful activity in writing pre-post style formal specifications. This activity usually involves decisions to be made by the writer and can be error-prone. Experience shows that this activity is also a challenge to many practitioners, and a big hurdle for introducing formal specification techniques into industry. This paper describes a pattern system approach to deal with this problem. The pattern system is composed of a set of inter-related patterns, and each pattern provides a framework for constructing certain kind of formal expression with some common properties. Unlike the way conventional design patterns are used, our pattern system is expected to support a systematic and automated formalization of informal ideas, with the characteristic that the writer only needs to work on the informal level while an appropriate formal expression will be efficiently derived. We focus on discussions of the issues such as pattern definition, pattern classification, the structure of pattern system, and mechanism to use the pattern system.