596 search results - page 45 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
170
click to vote
PTS
2000
15 years 7 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
174
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
128
click to vote
AIIDE
2007
15 years 8 months ago
2007
Machinima is a low-cost alternative to full production filmmaking. However, creating quality cinematic visualizations with existing machinima techniques still requires a high degr...
211
Voted
TFM
2009
Springer
16 years 19 days ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
163
Voted
AVI
2006
15 years 7 months ago
2006
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...