448 search results - page 14 / 90 » A Meta-Method for Formal Method Integration |
112
Voted
ICFEM
1998
Springer
15 years 3 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
IJIT
2004
15 years 1 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
111
Voted
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
114
Voted
KCAP
2011
ACM
14 years 2 months ago
2011
ACM
Some supervised-learning algorithms can make effective use of domain knowledge in addition to the input-output pairs commonly used in machine learning. However, formulating this a...
COMPSAC
1997
IEEE
15 years 3 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...