Sciweavers

Share
4036 search results - page 1 / 808
» Formal Methods
Sort
View
FM
1997
Springer
325views Formal Methods» more  FM 1997»
10 years 6 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
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 integr...
Richard F. Paige
books