|
2
|
Towards Formalization of Feasibility, Randomness, and Commonsense Implication: Kolmogorov Complexity, and the Necessity of Considering (Fuzzy) Degrees
– Vladik Kreinovich, Luc Longpré, Hung T. Nguyen
- 1998
|
|
|
User’s Manual as a Requirements Specification: Case Studies Daniel M. Berry (dberry AT uwaterloo DOT ca) Khuzaima Daudjee (kdaudjee AT uwaterloo DOT ca)
– Jing Dong, At Dot, Igor Fainchtein, At Dot, Maria Augusta, Nelson At Dot, Torsten Nelson, At Dot Dot, Lihua Ou, At Dot, D. M. Berry, K. Daudjee, I. Fainchtein, J. Dong, M. A. Nelson, T. Nelson, L. Ou
- 2003
|
|
21
|
Formal Object Oriented Development of Software Systems using LOTOS
– J. Paul Gibson
- 1993
|
|
|
A Web Based Distributed Medical Record And Imaging Entry And Visualization System
– Wei Zheng, Wei Zheng
- 2000
|
|
|
Incorporating Software Quality Assurance In Computer Science Education: An Experiment
– Massood Towhidnejad
- 2002
|
|
|
Development of a Custom Software
– Regression-Testing Tool Ensuring, Dr. Tim, D. Hunt
|
|
10
|
End-To-End Integration Testing Design
– W. T. Tsai, Xiaoying Bai, Ray Paul, Weiguang Shao, Vishal Agarwal
- 2001
|
|
2
|
TestTalk, A Test Description Language: Write Once, Test by Anyone, Anytime, Anywhere, with Anything
– Chang Liu, Debra J. Richardson
- 1999
|
|
2
|
Experiences Teaching a Course in Programmer Testing
– Andy Tinkham
- 2005
|
|
|
Issues in Automation of Checkpoint Encoding for Anti-Random Testing
– Sanjay R. Pillai
- 2000
|
|
8
|
Koba4MS: Selling complex products and services using knowledgebased recommender technologies
– Alexander Felfernig
- 2005
|
|
1
|
Effective Black-Box Testing with Genetic Algorithms
– Mark Last, Shay Eyal, Abraham K
|
|
12
|
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
– Huifang Yin, Huifang Yin, Zemen Lebne-dengely, Zemen Lebne-dengely, Yashwant K. Malaiya, Yashwant K. Malaiya
- 1997
|
|
14
|
Software Components with Retrospectors
– Chang Liu, Debra Richardson
- 1998
|
|
2
|
Using machine learning to refine Category-Partition test specifications and test suites
– Lionel C. Briand, Yvan Labiche , Zaheer Bawar , Nadia Traldi Spido
- 2009
|
|
|
Architecture
– unknown authors
|
|
|
Abstract Using Petri Nets to Introduce Operating System Concepts
– John M. Jeffrey
|
|
|
Data Flow for High-Level Design and Specification
– W. Mueller
- 1990
|
|
|
A Windows GUI for Digital Filter Design and DSP Based Implementation: A Useful Tool for Digital Signal Processing Laboratory Classes
– Mário Sarcinelli-Filho, Hansjörg Andreas Schneebeli, Hansj��rg Andreas Schneebeli, Arnaldo Cordeiro Machado
|
