1306 search results - page 37 / 262 » A Diagrammatic Approach to Model Completion |
165
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
167
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
160
click to vote
CSJM
2007
15 years 6 months ago
2007
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
154
click to vote
DATE
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
175
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
The purpose of this paper is to introduce a multi-agent model for plan synthesis in which the production of a global shared plan is based on a promising unified framework based on...