619 search results - page 47 / 124 » Formal Methods Meet Domain Specific Languages |
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
IADIS
2003
13 years 9 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
CLIN
2004
13 years 9 months ago
2004
The present paper reports on an end-to-end application using a deep processing grammar to extract spatial and temporal information of prepositional and adverbial expressions from ...
NGITS
1999
Springer
14 years 4 hour ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
EMNLP
2007
13 years 9 months ago
2007
We describe our experiments using the DeSR parser in the multilingual and domain adaptation tracks of the CoNLL 2007 shared task. DeSR implements an incremental deterministic Shif...