Reuse of Specification Patterns with the B Method

Details Reuse of Specification Patterns with the B Method Reuse of Specification Patterns with the B Method

2006-10-16

arxiv.org/abs/cs/0610097v1

Dans ZB 2003: Formal Specification and Development in Z and B, 2651 (2003) 40-57

Computer Science

Software Engineering

Scientific paper

This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern means instantiating it or composing it with other specification patterns. Three levels of composition are defined: juxtaposition, composition with inter-patterns links and unification. This paper shows through examples how to define specification patterns in B, how to reuse them directly in B, and also how to reuse the proofs associated with specification patterns.

Affiliated with

Also associated with

No associations

Rating

Reuse of Specification Patterns with the B Method does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Reuse of Specification Patterns with the B Method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reuse of Specification Patterns with the B Method will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-244580