596 search results - page 22 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
163
click to vote
FM
2009
Springer
16 years 14 days ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
172
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
167
click to vote
GREC
2007
Springer
15 years 9 months ago
2007
Springer
Computer understanding of visual languages in pen-based environments requires a combination of lexical analysis in which the basic tokens are recognized from hand-drawn gestures an...
158
click to vote
AICCSA
2001
IEEE
15 years 9 months ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
169
click to vote
IWPSE
2007
IEEE
16 years 5 days ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...