6794 search results - page 1162 / 1359 » Semantics of Visual Languages |
ECEASST
2008
13 years 9 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
ENTCS
2008
13 years 9 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
IEE
2008
13 years 9 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...