7139 search results - page 234 / 1428 » Language Engineering in Practice |
169
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
183
click to vote
ENTCS
2008
15 years 7 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
196
click to vote
IJBRA
2007
15 years 7 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
175
click to vote
STTT
2008
15 years 7 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
174
Voted
IGPL
2010
15 years 5 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...