| A taxonomy of software development methods |
| Full text |
Pdf
(6.04 MB)
|
Source
|
Communications of the ACM
archive
Volume 37 , Issue 11 (November 1994)
table of contents
Pages: 82 - 94
Year of Publication: 1994
ISSN:0001-0782
|
|
Author
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 8, Downloads (12 Months): 93, Citation Count: 2
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Balzer, R., Cheathsam T.E., Jr., and Green, C. Software technology in the 1990's: Using a new paradigm. IEEE Comput. 16, II (1983), 39-45.
|
| |
2
|
|
| |
3
|
Barwise, J. Mathematical proofs of computer system correctness. Notices Am. Math. Soc. 36 (1989). 844-851.
|
| |
4
|
|
| |
5
|
|
| |
6
|
Blum, B.I. Representing open requirements with a fragment-based specification. IEEE Trans. Sys., Man, and Cyber, 23 (1993), 724-736.
|
| |
7
|
|
| |
8
|
|
| |
9
|
|
| |
10
|
|
| |
11
|
|
 |
12
|
|
| |
13
|
Liskov, B.H., abd Ziles S.?N., Specificcation techniques for data abstraction. IEEE Trans. Soft. Eng. SE-I (1975), 7- 19.
|
| |
14
|
|
 |
15
|
|
 |
16
|
|
| |
17
|
|
| |
18
|
Stevens, W., Myers, C., abd Constantine, L., Structured design. IBM Sys. J. 13 (1974), 115-139.
|
| |
19
|
Teichroew, D. and Hershey, E.A., III. PSI/PSA: A computer-aided technique for structured documentatuoin and analysus of information processing systems. IEEE Trans. Soft. Eng. SE-3 (1997), 31-48.
|
| |
20
|
|
 |
21
|
|
REVIEW
"Philip H. Teplitzky : Reviewer"
It took me several readings of Blum's paper to glean the nuggets of
true value. Unfortunately, Blum suffers from what we in the real-world
software development business call (borrowing from von Clausewitz)
“the fog of academia.” He
more...
|