10159 search results - page 27 / 2032 » System Design Validation Using Formal Models |
SIMUTOOLS
2008
13 years 9 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
ITRUST
2004
Springer
14 years 1 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
14 years 2 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
HCI
2011
12 years 11 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...