6794 search results - page 431 / 1359 » Semantics of Visual Languages |
149
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
The REST architectural style is emerging as an alternative technology platform for the realization of service-oriented architectures. In this paper, we apply the notion of composit...
161
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
186
click to vote
VL
1992
IEEE
15 years 11 months ago
1992
IEEE
In software visualization and algorithm animation it is important that advances in system technologies are accompanied by corresponding advances in animation presentations. In thi...
194
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
220
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...