3799 search results - page 25 / 760 » An Engineering Approach to Formal Methods |
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
ICFCA
2009
Springer
14 years 2 months ago
2009
Springer
JUCS
2010
13 years 6 months ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...