3564 search results - page 301 / 713 » Evaluating a Formal Modelling Language |
167
Voted
JSW
2007
15 years 4 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
155
click to vote
POPL
2012
ACM
14 years 16 days ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
132
Voted
FINTAL
2006
15 years 8 months ago
2006
This paper investigates the combination of word-alignments computed with the competitive linking algorithm and well-established IBM models. New training methods for phrase-based st...
176
click to vote
POPL
2012
ACM
14 years 16 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
158
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...