4377 search results - page 468 / 876 » Application Driven Software Development |
212
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
148
click to vote
HASKELL
2005
ACM
16 years 12 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
217
click to vote
CADUI
2004
15 years 8 months ago
2004
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
174
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
177
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...