2419 search results - page 105 / 484 » A Formal Approach to Software Testing |
81
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
COLING
1996
15 years 4 months ago
1996
This article is concerned with the building of a test data set for assisting the industrial user in machine translation evaluation. The emphasis is laid on the interest of an appr...
125
Voted
CSB
2003
IEEE
15 years 8 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
129
Voted
IJIT
2004
15 years 4 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
136
click to vote
CMSB
2004
Springer
15 years 8 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...