Case Studies in Using a Meta-Method for Formal Method Integration

Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integrated formal methods, and discuss properties and difficulties associated with applying the meta-method to combining and using several formal and semiformal methods.

• Type: Conference
• Year: 1997
• Where: AMAST
• Authors: Richard F. Paige
• Keywords: AMAST 1997, Formal Method Integration, Formal Methods, Integrated Formal Methods, Software Engineering