1009 search results - page 107 / 202 » transML: A Family of Languages to Model Model Transformation... |
156
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
157
click to vote
TNN
1998
15 years 6 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
139
click to vote
DFG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
185
click to vote
VLC
2008
15 years 6 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
157
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...