Sciweavers

Share
AMAST
1997
Springer

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

10 years 6 months ago
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.
Richard F. Paige
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1997
Where AMAST
Authors Richard F. Paige
Comments (0)
books