Sciweavers

8179 search results - page 1363 / 1636
» The PRACTIONIST Development Tool
Sort
View
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
16 years 4 hour 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 1 hour 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
15 years 12 months 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
15 years 12 months 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
15 years 12 months 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 »