491 search results - page 16 / 99 » RETNA: From Requirements to Testing in a Natural Way |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
CHES
2005
Springer
14 years 2 months ago
2005
Springer
Nearly half a century ago, military organizations introduced “Tempest” emission-security test standards to control information leakage from unintentional electromagnetic emanat...
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
ICAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Testing and demonstrating context-aware applications is challenging. Gathering and using ‘life’ contextual information for these purposes, often requires significant extra dev...
AGILEDC
2007
IEEE
14 years 2 months ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...