Abstrakt. I detta dokument beskrivs ett tillvägagångssätt för återanvändning av specifikationer. Specifikationsmönster är mönster som uttrycks i ett formellt specifikationsspråk. Återanvända en specifikation mönster innebär att ögonblicklig det eller komponera det med andra specifikationer mönster. Tre nivåer av sammansättning definieras: juxtaposition, sammansättning med interpatterns länkar och enande. Detta dokument visar genom exempel hur man definierar specifikationsmönster i B, hur man återanvänder dem direkt i B, och även hur man återanvänder de bevis som är förknippade med specifikationsmönster.
Blazy och Al. I REF föreslås ett tillvägagångssätt för att specificera mönster och hur de kan återanvändas formellt.
Reuse of Specification Patterns with the B Method
{'venue': 'Dans ZB 2003: Formal Specification and Development in Z and B, 2651 (2003) 40-57', 'journal': None, 'mag_field_of_study': ['Computer Science']}