6201 search results - page 229 / 1241 » Implementation of Axiomatic Language |
159
click to vote
VL
2010
IEEE
15 years 3 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
242
click to vote
ICDE
1999
IEEE
16 years 6 months ago
1999
IEEE
Temporal reasoning and temporal query languages present di cult research problems of theoretical interest and practical importance. One problem is the chasm between point-based te...
276
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
147
click to vote
ECMDAFA
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
135
click to vote
ECTEL
2009
Springer
15 years 12 months ago
2009
Springer
Reusable adaptation specifications for adaptive behaviour has come to the forefront of adaptive research recently, with EU projects such as GRAPPLE1, and PhD research efforts on de...