249 search results - page 21 / 50 » A Functional Logic Programming Approach to Graphical User In... |
JDCTA
2010
13 years 2 months ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
KBSE
1994
IEEE
13 years 11 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
DAGSTUHL
2007
13 years 8 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
IUI
2003
ACM
14 years 20 days ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
IFE
2002
13 years 7 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...