3809 search results - page 255 / 762 » Associative language descriptions |
157
click to vote
VL
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
148
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
174
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
162
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
159
click to vote
ISMIR
2004
Springer
16 years 1 days ago
2004
Springer
Pregroups had been conceived as an algebraic tool to recognize grammatically well-formed sentences in natural languages [3]. Here we wish to use pregroups to recognize well-formed...