Sciweavers

1137 search results - page 82 / 228
» Disciplined Methods of Software Specification: A Case Study
Sort
View
IEAAIE
2005
Springer
15 years 3 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
CHI
2007
ACM
15 years 10 months ago
Supporting multidisciplinary collaboration: requirements from novel HCI education
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
Piotr D. Adamczyk, Michael B. Twidale
KBSE
2003
IEEE
15 years 3 months ago
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
Eugenia Díaz, Javier Tuya, Raquel Blanco
APSEC
2008
IEEE
15 years 4 months ago
Test Case Prioritization Based on Analysis of Program Structure
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
Zengkai Ma, Jianjun Zhao
SOCRATES
2008
151views Education» more  SOCRATES 2008»
14 years 11 months ago
Learning Translation Strategies in a CSCL Framework
This study investigated the extent to which the social constructivist approach can be applied to the teaching/learning of translation strategies in an e-learning environment. To a...
Viviana Gaballo