Sciweavers

1050 search results - page 32 / 210
» Towards programming for the non-technical
Sort
View
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
14 years 2 months ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
IUI
2003
ACM
14 years 1 months ago
Towards intuitive interaction for end-user programming
Eric Schwarzkopf, Mathias Bauer, Dietmar Dengler