6618 search results - page 349 / 1324 » Natural Logic for Natural Language |
200
click to vote
FM
2003
Springer
16 years 1 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
181
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
189
click to vote
OWLED
2007
15 years 8 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
201
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
189
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...