448 search results - page 1 / 90 » A Meta-Method for Formal Method Integration |
FM
1997
Springer
13 years 11 months ago
1997
Springer
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 ...
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
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...
ICSEA
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
FAC
1998
13 years 7 months ago
1998
ISSE
2010
13 years 5 months ago
2010