845 search results - page 123 / 169 » A Formal Model of the Software Test Process |
SIAMCOMP
2010
13 years 7 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
CHIMIT
2009
ACM
14 years 3 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
BIOSYSTEMS
2007
13 years 9 months ago
2007
Neuro-engineering is providing biomedical engineers with technology to interface the nervous system, which is useful to create prosthetic devices to palliate sensorial or motor di...
JOT
2007
13 years 9 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...