596 search results - page 12 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
162
click to vote
IAT
2006
IEEE
15 years 12 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
167
click to vote
JCP
2008
15 years 5 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
194
click to vote
JUCS
2010
15 years 18 days ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
177
click to vote
SOCA
2008
IEEE
15 years 5 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
204
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...