619 search results - page 8 / 124 » Formal Methods Meet Domain Specific Languages |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
This paper overviews and analyses the on-going research attempts to apply language technologies to automatic ontology acquisition. At first glance there are many successful approac...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
FTRTFT
1992
Springer
13 years 11 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE