1050 search results - page 76 / 210 » Generating Executable Scenarios from Natural Language |
141
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
144
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
114
click to vote
RIDE
2003
IEEE
15 years 9 months ago
2003
IEEE
– A lexical knowledge base is an important component of any intelligent information processing system. The WordNet developed at the Cognitive Systems Laboratories at Princeton ha...
190
click to vote
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
115
click to vote
ALT
2003
Springer
16 years 24 days ago
2003
Springer
A pattern is a finite string of constant and variable symbols. The erasing language generated by a pattern p is the set of all strings that can be obtained by substituting (possib...