Sciweavers

4036 search results - page 1 / 808
» Formal Methods
Sort
View
FM
1997
Springer
325views Formal Methods» more  FM 1997»
13 years 11 months ago
A Meta-Method for Formal Method Integration
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
Richard F. Paige
AMAST
1997
Springer
13 years 10 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 integr...
Richard F. Paige