1069 search results - page 40 / 214 » Automatic Generation of Language-based Tools |
IEEECGIV
2009
IEEE
13 years 7 months ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
LREC
2010
13 years 11 months ago
2010
We present a method and a software tool, the FrameNet Transformer, for deriving customized versions of the FrameNet database based on frame and frame element relations. The FrameN...
FM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
CPP
2011
12 years 9 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
FDL
2005
IEEE
14 years 3 months ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...