276 search results - page 22 / 56 » Evaluating formal properties of feature diagram languages |
102
click to vote
ECOOP
2010
Springer
15 years 1 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
CGF
1999
14 years 11 months ago
1999
In this paper the notion of free form feature for aesthetic design is presented. The design of industrial products constituted by free form surfaces is done by using CAD systems r...
108
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...