3330 search results - page 118 / 666 » software 2010 |
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
13 years 9 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
DMS
2010
13 years 7 months ago
2010
This work was proposed as a Doctoral Thesis of Applied Computing Course at Brazilian National Institute for Space Research (INPE) and is a ongoing work. The main purpose of SICSDA ...
PTS
2010
13 years 7 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...