This paper introduces the idea of extending quality assurance efforts in the processes of development of computer aided design (CAD) software systems to include formal review or testing of underlying engineering principles, theories, methods, or physical phenomena. It stems from the principle of disembodiment of CAD software systems and incorporates elements of existing well-established methodologies such as participatory design, extreme programming, and spiral software development. Under this approach, ideas’ generation, theories’ selection or creation, methods’ development, algorithms’ design, and pilot prototype implementation are the intermediate tasks in the early stages of the process of development of CAD software. Theories, methods, algorithms, and pilot prototypes are the deliverables of these tasks. Each task involves stepwise translation of requirements into a respective deliverable. Application experiences have shown that this procedure enlarges the scope of requirements’ acquisition and quality assurance of CAD software.

1.
Shaw
,
T.
, 1991,
Design Aid
,
Guinness Publishing Ltd.
,
London, UK
, p.
11
.
2.
Nash
,
D.
, and
Willman
,
H.
, 1981, “
Software Engineering Applied to Computer-Aided Design (CAD) Software Development
,”
Proceedings of the 18th Conference on Design Automation
, Nashville, TN, pp.
530
539
.
3.
Jones
,
W. G.
, 1990,
Software Engineering
,
Wiley
,
New York
.
4.
Dijk
,
L.
,
Vergeest
,
J. S. M.
, and
Horváth
,
I.
, 1998, “
Testing Shape Manipulation Tools Using Abstract Prototypes
,”
Des. Stud.
0142-694X,
19
, pp.
187
201
.
5.
DeMillo
,
R.
, 2000, “
Software Testing
,”
Encyclopedia of Computer Science
,
4th ed.
,
Nature
,
London, UK
, pp.
1645
1649
.
6.
London
,
R. L.
, and
Craigen
,
D.
, 2000, “
Program Verification
,”
Encyclopedia of Computer Science
,
4th ed.
,
Nature
,
London, UK
, pp.
1458
1461
.
7.
Curtis
,
B.
,
Keller
,
M.
, and
Over
,
J.
, 1992, “
Process Modeling
,”
Commun. ACM
0001-0782,
35
(
9
), pp.
75
90
.
8.
Dymond
,
K. M.
, 1995,
A Guide to the CMM: Understanding the Capability Maturity Model for Software
,
Process Transition International, Inc.
,
Annapolis, MD
.
9.
Jalote
,
P.
, 1999,
CMM in Practice: Processes for Executing Software Projects at Infosys
,
Addison-Wesley
,
Reading, MA
.
10.
Beck
,
K.
, 2000,
Extreme Programming Explained: Embrace Change
,
Addison-Wesley
,
Reading, MA
.
11.
Armour
,
P. G.
, 2001, “
Software as a Currency
,”
Commun. ACM
0001-0782,
44
(
3
), pp.
13
14
.
12.
Keil
,
M.
, and
Robey
,
D.
, 2001, “
Blowing the Whistle on Troubled Software Projects
,”
Commun. ACM
0001-0782,
44
(
4
), pp.
87
93
.
13.
Booch
,
G.
, 2001, “
Developing the Future
,”
Commun. ACM
0001-0782,
44
(
3
), pp.
118
121
.
14.
Vessey
,
I.
, and
Glass
,
R. L.
, 1998, “
Strong vs. Weak Approaches to Software Development
,”
Commun. ACM
0001-0782,
41
(
4
), pp.
99
102
.
15.
Brooks
,
F. P.
, Jr.
, 1987, “
No Silver Bullet: Essence and Accidents of Software Engineering
,”
Computer
0018-9162,
20
(
4
), pp.
10
19
.
16.
Howard
,
A.
, 2001, “
Software Engineering Project Management
,”
Commun. ACM
0001-0782,
44
(
5
), pp.
23
24
.
17.
Kreyman
,
K.
, and
Parnas
,
D. L.
, 2002, “
On Documenting the Requirements for Computer Programs Based on Models of Physical Phenomena
,” Quality Techniques Newsletter, http://www.soft.com/News/QTN-Online/index.htmlhttp://www.soft.com/News/QTN-Online/index.html.
18.
Eick
,
S. G.
,
Loader
,
C. R.
,
Long
,
M. D.
,
Votta
,
L. G.
, and
Weil
,
S. V.
, 1992, “
Estimating Software Fault Content Before Coding
,”
Proceedings of the 14th International Conference on Software Engineering
, Melbourne, Australia, pp.
59
65
.
19.
Hevner
,
A. R.
, 1997, “
Phase Containment Metrics for Software Quality Improvement
,”
Inf. Softw. Technol.
,
39
, pp.
867
877
. 0950-5849
20.
Boehm
,
B. W.
, 1988, “
A Spiral Model of Software Development and Enhancement
,”
Computer
0018-9162,
21
(
5
), pp.
61
72
.
21.
Nielsen
,
J.
, and
Mack
,
R. L.
, 1994,
Usability Inspection Methods
,
Wiley
,
New York
.
22.
Davidson
,
E. J.
, 1999, “
Joint Application Design (JAD) in Practice
,”
J. Syst. Softw.
0164-1212,
45
(
3
), pp.
215
223
.
23.
Hoffman
,
C. M.
, 1997, “
EREP Project Review
,”
D.
Roller
and
P.
Brunet
, eds.,
CAD Software Development: Tools and Methods
,
Springer-Verlag
,
Heidelberg
.
24.
Opiyo
,
E. Z.
,
Horváth
,
I.
, and
Vergeest
,
J. S. M.
, 2000, “
Software Tools for Abstract Prototyping of Design Support Tools
,” ASME Paper No. DETC/CIE-14613.
25.
Opiyo
,
E. Z.
, 2003, “
Facilitating the Development of Design Support Software by Abstract Prototyping
,” Ph.D. thesis, Delft University of Technology, The Netherlands.
26.
Moore
,
D. L.
, 2000, “
Managing Requirements: From Battleship to Heat-Seeking Missile
,” Quality Techniques Newsletter, Software Research Inc., QTN-Online, http://www.soft.com/News/QTN-Online/index.htmlhttp://www.soft.com/News/QTN-Online/index.html.
You do not currently have access to this content.