4211 search results - page 6 / 843 » A formal approach to MASQ |
FM
1999
Springer
15 years 1 months ago
1999
Springer
62
Voted
FM
1999
Springer
15 years 1 months ago
1999
Springer
SAS
1997
Springer
15 years 1 months ago
1997
Springer
FMAM
2010
14 years 7 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
114
click to vote
ICSEA
2009
IEEE
14 years 7 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...