1829 search results - page 130 / 366 » Towards Validation of Requirements Models |
170
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
168
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
182
click to vote
AAAI
1990
15 years 7 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
156
click to vote
BIRTHDAY
2007
Springer
16 years 19 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
148
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...