Reuse of specification patterns with the B method

DOI10.1007/3-540-44880-2_4MaRDI QIDQ4436955zbMATH OpenFDO

Authors Sandrine Blazy, Frédéric Gervais, Régine Laleau

Publication date 4 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2651/26510040.htm

zbMATH Keywords

BDesign patternreusespecification pattern

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Software reuse with use case patterns
• Towards software design automation with patterns
• scientific article; zbMATH DE number 1019598
• Hierarchical specification and verification of architectural design patterns
• A reuse-oriented framework for hierarchical specification

Cited in

(12)

• Hierarchical specification and verification of architectural design patterns
• Patterns for embedded systems design
• A reuse-oriented framework for hierarchical specification
• Increasing reusability in information systems development by applying generic methods
• Reusing specifications through refinement levels
• Design Verification Patterns
• Considerate reasoning and the Composite design pattern
• Concept use or concept refinement: An important distinction in building generic specifications
• A framework for reusing business objects by multilevel object patterns
• Software reuse with use case patterns
• ZB 2005: Formal Specification and Development in Z and B
• Formal Approaches to Software Testing

This page was built for publication: Reuse of specification patterns with the B method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436955)