526 search results - page 68 / 106 » Programming in JoCaml (Tool Demonstration) |
KBSE
1997
IEEE
14 years 21 days ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
ASAP
1996
IEEE
14 years 20 days ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
CHI
1992
ACM
14 years 17 days ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
ECBS
2006
IEEE
14 years 4 days ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
ERCIMDL
2008
Springer
13 years 10 months ago
2008
Springer
Placeholders in physical documents provide critical support for the human reader in relocating material and their place in the text. However, the equivalent tools in digital docume...