Sciweavers

8179 search results - page 1363 / 1636
» The PRACTIONIST Development Tool
Sort
View
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
16 years 20 days ago
Evaluating Evolutionary Testability with Software-Measurements
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
Frank Lammermann, André Baresel, Joachim We...
ICADL
2004
Springer
174views Education» more  ICADL 2004»
16 years 20 days ago
WebGIS-RBDL - A Rare Book Digital Library Supporting Spatio-Temporary Retrieval
In order to help researchers of humanities study the cultural ancient resources from temporal and geographical perspectives, we build WebGISRBDL at Peking University. In WebGIS-RBD...
Ming Zhang, Dongqing Yang, Zhi-Hong Deng, Sai Wu, ...
ICFEM
2004
Springer
16 years 20 days ago
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
Carsten Sinz, Wolfgang Küchlin
ICSR
2004
Springer
16 years 20 days ago
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Arvind S. Krishna, Douglas C. Schmidt, Atif M. Mem...
ICTAC
2004
Springer
16 years 20 days ago
Combining Algebraic and Model-Based Test Case Generation
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
Li Dan, Bernhard K. Aichernig
« Prev « First page 1363 / 1636 Last » Next »