Sciweavers

Share
4332 search results - page 1 / 867
» Formal Methods
Sort
View
FM
1997
Springer
325views Formal Methods» more  FM 1997»
8 years 4 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
8 years 3 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
DSVIS
1998
Springer
8 years 4 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
books