2740 search results - page 250 / 548 » A Model-Based Approach To Requirements Analysis |
121
click to vote
AI
2005
Springer
15 years 9 months ago
2005
Springer
The AAAI Mobile Robot Challenge requires robots to start from the entrance of the conference site, find their own way to the registration desk, socially interact with people and p...
130
click to vote
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
The real needs of end users of software technology are often neglected until it is too late. An approach is outlined that puts people before technology, and investigates the real ...
127
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
124
click to vote
ITC
1994
IEEE
15 years 8 months ago
1994
IEEE
: The IC test industry has struggled .for more than 30years to establish a test approach that would guarantee a low defect level to the customer. Wepropose a comprehensive strategy...
144
click to vote
ISARCS
2010
15 years 8 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...