3564 search results - page 30 / 713 » Evaluating a Formal Modelling Language |
246
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
117
click to vote
CAISE
2007
Springer
15 years 9 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
118
Voted
ACL
2009
15 years 1 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...
146
Voted
JSW
2007
15 years 3 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
126
Voted
AOSE
2008
Springer
15 years 5 months ago
2008
Springer
