Non-Published Documents and Distributions
Each published item consists of
Each non-published item consists of a full citation and a link called ``PDF'' to a downloadable PDF version of the document.
If a whole directory is involved, the marking says ``FTP'' to indicate that you will have to request each file through an FTP window.
I do not include lecture slides here, because I want you to invite me to give the talk. See my section on Lectures.
Even if you do not see a on an item, especially an old item, do click on any to ask me for it. I probably have a copy of the proceedings, journal, or tech report somewhere in my office, and I would be happy to make you a copy.
Refereed Contributions to Journals
1. Berry, D.M., Yavne, M. ``The Conway Stones: What the Original Hebrew May Have Been,'' Mathematics Magazine, 49:4, pp. 207-210, September 1976. © 1976 Mathematical Association of America © 2000-2005 JSTOR Link to Published Article at Publisher's Site
2. Berry, D.M., Erlich, Z., Lucena, C.J. ``Pointers and Data Abstractions in High Level Languages, Part I: Language Proposals,'' J. of Computer Languages, 2:4, pp. 135-148, 1977. © 1977 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
3. Berry, D.M. ``Pointers and Data Abstractions in High Level Languages, Part II: Correctness Proofs,'' J. of Computer Languages, 2:4, pp. 149-170, 1977. © 1977 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
4. Berry, D.M., Chirica, L.M., Johnston, J.B., Martin, D.F., Sorkin, A. ``Time Required for Reference Count Management in Retention Block-Structured Languages, Part 1,'' Int. J. of Computer and Information Sciences, 7:1, pp. 11-64, March 1978. Table of Contents
5. Berry, D.M., Chirica, L.M., Johnston, J.B., Martin, D.F., Sorkin, A. ``Time Required for Reference Count Management in Retention Block-Structured Languages, Part 2,'' Int. J. of Computer and Information Sciences, 7:2, pp. 91-119, July 1978. Table of Contents
6. Berry, D.M., Sorkin, A. ``On the Time Required for Garbage Collection in Block Structured Languages,'' Int. J. of Computer and Information Science, 7:4, pp. 361-404, December 1978. Table of Contents
7. Schwartz, R.L., Berry, D.M. ``A Semantic View of ALGOL 68,'' J. of Computer Languages, 4:1, pp. 1-15, 1979. © 1979 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
8. Berry, D.M., Schwartz, R.L. ``United and Discriminated Record Types in Strongly Typed Languages,'' Information Processing Letters, 9:1, pp. 13-18, July 20, 1979. © 1979 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
9. Berry, D.M., Kemmerer, R.A., von Staa, A., Yemini, S. ``Toward Modular Verifiable Exception Handling,'' J. of Computer Languages, 5:2, pp. 77-101, July 1980. © 1980 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
10. Berry, D.M. ``Remarks on R.D. Tennent's `Language Design Methods Based on Semantic Principles': Algol 68, A Language Designed Using Semantic Principles,'' Acta Informatica, 15, pp. 83-98, 1981. © 1981 Springer-Verlag
11. Berry, D.M., Ghezzi, C., Mandrioli, D., Tisato, F. ``Language Constructs for Real-Time Distributed Systems,'' J. of Computer Languages, 7:1, pp. 11-20, 1982. © 1982 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
12. Leveson, N.G., Wasserman, A.I., Berry, D.M. ``BASIS: A Behavioral Approach to the Specification of Information Systems,'' Information Sciences, 8:1, pp. 15-23, 1983. © 1983 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
13. Yemini, S., Berry, D.M. ``A Modular Verifiable Exception Handling Mechanism,'' Transactions on Programming Languages and Systems, 7:2, pp. 214-243, April 1985. © Copyright 1985 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
14. Berry, D.M. ``A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism,'' Acta Informatica, 21, pp. 599-627, 1985. © 1985 Springer-Verlag Link to Published Article at Publisher's Site
15. Mazaher, Sh., Berry, D.M. ``Deriving A Compiler from an Operational Semantics Written in VDL,'' J. of Computer Languages, 10:2, pp. 147-164, 1985. © 1985 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
16. Buchman, C., Berry, D.M., Gonczarowski, J. ``DITROFF/FFORTID: An Adaptation of the UNIX® DITROFF for Formatting Bi-Directional Text,'' Transactions on Office Informations Systems, 3:4, pp. 380-397, October, 1985. © Copyright 1985 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
17. Berry, D.M. ``Towards a Formal Basis for the Formal Development Method and the Ina Jo TM Specification Language,'' IEEE Transactions on Software Engineering, SE-13:2, pp. 184-201, February, 1987. © 1987 IEEE
18. Yemini, S., Berry, D.M. ``An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language,'' Transactions on Programming Languages and Systems, 9:2, pp. 390-407, July, 1987. © Copyright 1987 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
19. Berry, D.M., Yavne, N., Yavne, M. ``Application of Program Design Language Tools to Abbott's Method of Program Design by Informal Natural Language Descriptions,'' Journal of Systems and Software, 7:3, pp. 221-248, September, 1987. © 1987 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
20. Arbab, B., Berry, D.M. ``Operational and Denotational Semantics of Prolog,'' Journal of Logic Programming, 4:4, pp. 309-330, December, 1987. © 1987 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
21. Abe (nee' Takata), K.K. and Berry, D.M. ``indx and findphrases, A System for Generating Indices for Ditroff Documents,'' SoftwarePractice & Experience, 19:1, pp. 1-34, January, 1989. © 1989 John Wiley & Sons, Ltd. PDF Preprint
22. Becker, Z. and Berry, D.M., ``triroff, An Adaptation of the UNIX ditroff for Formatting Tri-Directional Text,'' Electronic Publishing, Origination, Dissemination, and Design, 2:3, pp. 119-142, 1990. © 1990 John Wiley & Sons, Ltd. PDF Preprint Directory of Pieces Sent to Publisher Journal Ceased Publishing in 1995
23. Habusha, U. and Berry, D.M. ``vi.iv, a Bi-Directional Version of the vi Full-Screen Editor,'' Electronic Publishing, Origination, Dissemination, and Design, 3:2, pp. 65-91, 1990 © 1990 John Wiley & Sons, Ltd. PDF Preprint Journal Ceased Publishing in 1995
24. Aguilera, C. and Berry, D.M. ``The Use of a Repeated Phrase Finder in Requirements Extraction,'' Journal of Systems and Software, 13:3, pp. 209-230, 1991. © 1991 by Elsevier Ltd. All rights reserved PDF Preprint Link to Published Article at Publisher's Site
25. Maarek, Y., Berry, D.M., and Kaiser, G.E., ``An Information Retrieval Approach For Automatically Constructing Software Libraries,'' IEEE Transactions on Software Engineering, 17:8, pp. 800-813, 1991. © 1991 IEEE PDF Reprint Link to Published Article at Publisher's Site
26. Lor, K.-W.E. and Berry, D.M. ``Automatic Synthesis of SARA Design Models from System Requirements,'' IEEE Transactions on Software Engineering, 17:12, pp. 1229-1239, 1991. © 1991 IEEE PDF Reprint Link to Published Article at Publisher's Site
27. Srouji, J. and Berry, D.M. ``Arabic Formatting with ditroff/ffortid,'' Electronic Publishing, Origination, Dissemination, and Design, 5:4, pp. 163-208, December, 1992. © 1992 John Wiley & Sons, Ltd. PDF Preprint Journal Ceased Publishing in 1995
28. Arbab, B., Berry, D.M. ``Some Comments on `A Denotational Semantics for Prolog','' Transactions on Programming Languages and Systems, 16:3, pp. 605-606, May 1994. © Copyright 1994 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
29. Schwarz, A., Berry, D.M., and Shaviv, E. ``Representing and Solving the Automated Building Design (ABD) Problem,'' CAD Journal, 26:9, pp. 689-698, September, 1994. © 1994 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
30. Schwarz, A., Berry, D.M., and Shaviv, E. ``On the Use of the Automated Building Design (ABD) System,'' CAD Journal, 26:10, 731-745, October, 1994. © 1994 by Elsevier Ltd. All rights reserved Link to Published Article at Publisher's Site
31. Berry, D.M. ``The Importance of Ignorance in Requirements Engineering,'' Journal of Systems and Software, 28:2, 179-184, 1995. © 1995 by Elsevier Ltd. All rights reserved PDF Preprint Link to Published Article at Publisher's Site
32. Goldin, L. and Berry, D.M., ``AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation'' Automated Software Engineering, 4:4, 375-412, October, 1997. © 1997 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
33. Berry, D.M. ``Software and House Requirements Engineering: Lessons Learned in Combatting Requirements Creep,'' Requirements Engineering Journal, 3:3&4, 242-244, 1999. © 1999 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
34. Berry, D.M. ``Stretching Letter and Slanted-Baseline Formatting for Arabic, Hebrew, and Persian with ditroff and Dynamic POSTSCRIPT Fonts,'' SoftwarePractice & Experience, 29:15, 1417-1457 1999. © 1999 John Wiley & Sons, Ltd. PDF Preprint Link to Published Article at Publisher's Site
35. Berry, D.M., ``Formal Methods, the Very Idea, Some Thoughts on Why They Work When They Work,'' Electronic Notes in Theoretical Computer Science, 25, 1999, Extended Abstract © 1999 by Elsevier Ltd. All rights reserved PDF Preprint Link to Published Article at Publisher's Site
37. Ravid, A. and Berry, D.M., ``A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains,'' Requirements Engineering Journal, 5:4, pp. 225-241, 2000 © 2000 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
38. Berry, D.M., ``Formal Methods, the Very Idea, Some Thoughts on Why They Work When They Work,'' Science of Computer Programming, 42:1, 11-27, January, 2002. © 2002 by Elsevier Ltd. All rights reserved PDF Preprint Link to Published Article at Publisher's Site
38. Berry, D.M., ``The Importance of Ignorance in Requirements Engineering: An Earlier Sighting and a Revisitation,'' Journal of Systems and Software, 60:1, pp. 83-85, 2002. © 2002 by Elsevier Ltd. All rights reserved PDF Preprint Link to Published Article at Publisher's Site
39. Berry, D.M. ``Understanding the Beginning of Genesis: Just How Many Beginnings Were There?,'' Jewish Bible Quarterly, 31:2, pp. 90-93, 2003. © 2003 by Jewish Bible Association PDF Preprint PDF Full Technical Report Link to Published Article at Publisher's Site
40. Berry, D.M. and Tichy, W.F., ``Comments on `Formal Methods Application: an Empirical Tale of Software Development','' IEEE Transactions on Software Engineering, SE-29:6, pp. 567-571, June 2003. © 2003 IEEE PDF Reprint Link to Published Article at Publisher's Site
41. Berry, D.M., ``More Requirements Engineering Adventures with Building Contractors,'' Requirements Engineering Journal, 8:2, pp. 142-146, 2003. © 2003 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
42. Berry, D.M., Daudjee, K., Dong, J., Fainchtein, I., Nelson, M.A., Nelson, T., Ou, L., ``User's Manual as a Requirements Specification,'' Requirements Engineering Journal, 9:1, pp. 67-82, February, 2004. © 2004 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
43. Breitman, K.K., Leite, J.C.S.P., and Berry, D.M., ``Supporting Scenario Evolution,'' Requirements Engineering Journal, 10:2, pp. 112-131, 2005. © 2005 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
44. Ramos, I., Berry, D.M., and Carvalho, J.A., ``Requirements Engineering for Organizational Transformation,'' Information & Software Technology, 47:7, pp. 479-495, 2005. © 2005 by Elsevier Ltd. All rights reserved PDF Preprint Link to Published Article at Publisher's Site
45. Ramos, I. and Berry, D.M., ``Social Construction of Information Technology Supporting Work,'' Annals of Cases on Information and Technology, Volume VII, No 3, pp. 1-17, July-Sept. 2005. © 2005 by Idea Group, Inc. PDF Preprint
46. Ramos, I. and Berry, D.M., ``Is Emotion Relevant to Requirements
Engineering?'' Requirements Engineering Journal, 10:3, pp.
238-242, November, 2005
© 2005 Springer-Verlag
PDF Preprint
Link to Published Article at Publisher's Site
47. Mich, L., Anesi, C., and Berry, D.M., ``Applying a Pragmatics-Based
Creativity-Fostering Technique to Requirements Elicitation,''
Requirements Engineering Journal, Special Issue with Best
Papers from REFSQ'04, 10:4, pp. 262-275, December 2005
© 2005 Springer-Verlag
PDF Preprint
Link to Published Article at Publisher's Site
Refereed Contributions to Conferences and
Symposia
1. Berry, D.M. ``Introduction to Oregano,'' Proc. of the ACM Symposium on Data Structures in Programming Languages, SIGPLAN Notices, pp. 171-190, February 1971. © Copyright 1971 by ACM, Inc.
2. Berry, D.M. ``Block Structure: Retention vs. Deletion,'' Proc. of the 3rd Annual ACM Symposium on Theory of Computing, pp. 86-100, May 1971. © Copyright 1971 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
3. Berry D.M. ``The Equivalence of Models of Tasking,'' Proc. of the ACM Symposium on Proving Assertions about Programs, SIGPLAN Notices, pp. 170-190, January 1972. © Copyright 1972 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
4. Berry, D.M., Chirica, L., Johnston, J.B., Martin, D.F., Sorkin, A. ``On the Time Required for Retention,'' Proc. of the ACM Symposium on High Level Language Computer Architecture, pp. 165-178, November 1973. © Copyright 1973 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
5. Berry, D.M. ``The Use of Information Structure Models in Programming and in Teaching of Programming Language,'' Proc. of the 2nd Jerusalem Conf. on Information Technology, pp. 483-496, July 1974. © 1974 by Elsevier Ltd. All rights reserved
6. Lucena, C.J., Berry, D.M. ``Towards a Definition of Structured Programming,'' Proc. of ACM National Conference, pp. 635-640, November 1974. © Copyright 1974 by ACM, Inc.
7. Berry, D.M., Erlich, Z., Lucena, C.J. ``Correctness of Data Representations: Pointers in High Level Languages,'' Proc. of the Conf. on Data: Abstraction, Definition and Structures, pp. 115-119, March 1976. © Copyright 1976 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
8. Berry, D.M., Campos, I., Hooper, R., Kampe, M., Kemmerer, R., Rhodes, M. ``An Experience in Group Structured and Modular Programming: Conclusions and Recommendations,'' Proc. of the International Symposium on Methodologies for the Design and Construction of Software and Hardware Systems, pp. 70-71, Rio de Janeiro, July 1976.
9. Berry, D.M., Erlinger, M., Johnston, J.B., Von Staa, A. ``Models of Hierarchical Machine Support,'' in E. J. Neuhold (ed.), Formal Descriptions of Programming Concepts, pp. 557-588, Amsterdam: North Holland, 1978. © 1978 by Elsevier Ltd. All rights reserved
10. Penedo, M.H., Berry, D.M. ``The Use of a Module Interconnection Language in the Sara System Design Methodology,'' Proc. of the Fourth International Conferences on Software Engineering, pp. 294-307, Munich, W. Germany, September 1979. © 1979 IEEE PDF Reprint Link to ACM Portal Description of Article
11. Berry, D.M., Berry, O. ``The Programmer-Client Interaction in Arriving at Program Specifications: Abstract Data Typing, Strong Typing, and Jewish Motherhood,'' Proc. of II Conferencia Nacional en Sistemas de Computacion, pp. 13-34, Santiago, Chile, August 1980.
12. Penedo, M.H., Berry, D.M., Estrin, G. ``An Algorithm to Support Code-Skeleton Generation for Concurrent Systems,'' Proc. of 5th International Conference on Software Engineering, pp. 125-134, San Diego, CA, March 1981. © 1981 IEEE PDF Reprint Link to ACM Portal Description of Article
13. Linden, N.M., Yavne, M., Berry, D.M. ``Parameterization and Abstract Data Types in a Program Design Language: The Design of 'Software Development Processor','' Actas de la Primera Conferencia Internacional en Ciencias de la Computacion, pp. 160-190, Santiago, Chile, August 1981.
14. Berry, D.M. ``The Application of the Formal Development Methodology to Data Base Design and Integrity Verification,'' Proc. of Fourth Israel Conference on Software Quality Assurance, pp. 42-47, Tel Aviv, Israel, October, 1982.
15. Berry, D.M., Berry, O. ``The Programmer-Client Relationship in Arriving at Program Specifications: Guidelines and Linguistic Requirements,'' Proc. IFIP Working Conference on System Description Methodologies, pp. 275-292, Kecskemet, Hungary, May, 1983. © 1983 by Elsevier Ltd. All rights reserved
16. Berry, D.M. ``On the Application of Ada and its Tools to the Information Hiding Decomposition Methodology for Design of Software Systems,'' Proc. of IFIP Working Conference on Methodology for Computer System Design, pp. 307-321, Lille, France, September, 1983. © 1983 by Elsevier Ltd. All rights reserved PDF Preprint
17. Buchman, C., Berry, D.M. ``DITROFF/FFORTID: An Adaptation of the UNIX® DITROFF for Formatting Bi-Directional Text,'' Proc. of Fourth International Jerusalem Conference on Information Technology, pp. 548-553, May, 1984.
18. Berry, D.M., Yavne, N., Yavne, M. ``On the Requirements for a Program Design Language,'' Proc. of International Workshop on Models and Languages for Software Specification and Design, pp. 18-21, March, 1984.
19. {Berry, D.M., Wing, J.M.,} ``Specification and Prototyping: Some Thoughts on Why They Are Successful,'' Proceedings of TAPSOFT Conference, pp. 117-128, Berlin, March 1985. © 1985 Springer-Verlag Link to ACM Portal Description of Article
20. Berry, D.M. ``An Ina Jo TM Proof Manager for the Formal Development Method,'' Proc. of VERkshop III, A Formal Verification Workshop, Software Engineering News, 10:4, pp. 19-25, August 1985. © Copyright 1985 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
21. Lor, K.W.E, Berry, D.M. ``A Requirement-Driven System Design Environment,'' Proceedings of the Second International Conference on Computer Applications, Beijing, PRC, June, 1987. © 1987 IEEE
22. Ip, C.H, Berry, D.M., Chow, K.P. ``CWPR, a Chinese/Japanese Word-Processing System for Use With the UNIX® Device-Independent TROFF System,'' Proceedings of the Second International Conference on Computer Applications, Beijing, PRC, June, 1987. © 1987 IEEE
23. Becker, Z. and Berry, D.M., ``ditroff/ffortid/\b'ditroff', An Adaptation of the UNIX ditroff for Formatting Tri-Directional Text,'' Chinese Computing Seminar '88, Singapore, 27-28 May, 1988.
24. Ben-Ari, D., Rimon, M., Berry, D.M., ``Translational Ambiguity Rephrased,'' Proceedings of Second International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Pittsburg, PA, 12-14 June, 1988. PDF Reprint
25. Maarek, Y.S. and Berry, D.M. ``The Use of Lexical Affinities in Requirements Extraction,'' Proceedings of the Fifth International Workshop on Software Specification and Design, Pittsburgh, PA, May, 1989. © Copyright 1989 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
26. Habusha, U. and Berry, D.M. ``vi.iv, a Bi-Directional Version of the vi Full-Screen Editor,'' Proceedings of 1990 International Conference on Computer Processing of Chinese and Oriental Languages, Changsha, Hunan, PR China, April 1990.
27. Wolfman, A.P. and Berry, D.M., ``floA Language for Typesetting Flowcharts,'' Electronic Publishing, Washington, D.C., September, 1990. © 1990 by Cambridge University Press PDF Preprint
28. Allon, G. and Berry, D.M. ``MINIX.XINIM, Towards a Bi-Directional, Bi-Lingual UNIX Operating System,'' Proceedings of the Soviet UNIX Users' Group Workshop on UNIX and Applications, November 25-28, 1991. PDF Preprint
29. Goldin, L. and Berry, D.M. ``AbstFinder, A Prototype Abstraction Finder for Natural Language Text for Use in Requirements Elicitation: Design, Methodology, and Evaluation,'' Proceedings of the First International Conference on Requirements Engineering, 19-21 April, 1994. © 1994 IEEE PDF Reprint Link to Published Article at Publisher's Site
30. Sequerra-Breitman, K. and Berry, D.M. ``The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements Engineering,'' Proceedings of the Ninth Brazilian Symposium on Software Engineering (SBES), Recife, PE, Brazil, 3-6 October, 1995. PDF Preprint
31. Jehuda, J., G. Koren, and Berry, D.M. ``A Time-Sharing Architecture for Complex Real-Time Systems,'' Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, Florida, USA, 6-10 November, 1995. © 1995 IEEE PDF Reprint Link to Published Article at Publisher's Site
32. Jehuda, J. and Berry, D.M. ``A Top Layer Design Approach for Adaptive Real-Time Software,'' Proceedings of the Twentieth IFAC/IFIP Workshop on Real-Time Programming, Ft. Lauderdale, Florida, USA, 10 November, 1995. © 1995 by Elsevier Ltd. All rights reserved PDF Preprint Link to Purchasable Book at Publisher's Site
33. Berry, D.M. and Weber, M. ``A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations,'' Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM'97), Hiroshima, Japan, 12-14 November 1997. © 1997 IEEE PDF Reprint Link to Published Article at Publisher's Site
34. Berry, D.M. ``The Safety Requirements Engineering Dilemma,'' Proceedings of the Ninth International Workshop on Software Specification and Design (IWSSD'98), Ise Shima, Japan, 16-18 April 1998. © 1998 IEEE PDF Reprint Link to ACM Portal Description of Article Link to Published Article at Publisher's Site
35. Berry, D.M. and Kamsties, E. ``The Dangerous `All' in Specifications,'' Proceedings of the Tenth International Workshop on Software Specification and Design (IWSSD'00), San Diego, CA, 5-7 November 2000, Position Paper. © 2000 IEEE PDF Reprint Link to ACM Portal Description of Article Link to Published Article at Publisher's Site
36. Kamsties, E., Berry, D.M. and Paech, B., ``Detecting Ambiguities in Requirements Documents Using Inspections,'' Workshop on Inspections in Software Engineering (WISE'01), pp. 68-80 Paris, France, Software Quality Research Lab, McMaster University, Hamilton, Canada, July 23, 2001. © 2001 IEEE PDF Reprint Link to Published Article at Publisher's Site
37. Berry, D.M., B., ``Requirements for Maintaining Web Access for Hearing-Impaired Individuals,'' Third International Workshop on Web Site Evolution (WSE'01), Florence, Italy, 10 November 2001. © 2001 IEEE PDF Reprint PDF Preprint TXT Preprint HTML Preprint Link to Published Article at Publisher's Site
38. Ramos, I., Berry, D.M., and Carvalho, J.A., ``The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities,'' D. Bustard, W. Liu, and R. Sterritt (eds.), Soft-Ware 2002: Computing in an Imperfect World, LNCS 2311, Springer 2002, pp. 300-314, Proceedings of First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, 8-10 April 2002. © 2002 Springer-Verlag PDF Reprint Link to Published Article at Publisher's Site
39. Berry, D.M., ``The Inevitable Pain of Software Development, Including of Extreme Programming, Caused by Requirements Volatility,'' Proceedings of the International Workshop on Time Constrained Requirements Engineering (T-CRE), pp. 9-19, Essen, Germany, 9 September, 2002. © 2002 by the Authors PDF Reprint Link to Published Article at Publisher's Site
40. Berry, D.M., ``The Inevitable Pain of Software Development: Why There Is No Silver Bullet,'' M. Wirsing, S. Balsamo, A. Knapp (eds.), Monterey 2002, Radical Innovation of Software and Systems Engineering in the Future, Workshop Proceedings, pp. 28-47, Venice, Italy, 7-11 October 2002. © 2002 by the Authors PDF Reprint Link to Conference Web Site
41. Covvey, H.D., Zitner, D., Berry, D.M., Cowan, D.D., and Shepherd, M., ``Formal Structure for Specifying the Content and Quality of the Electronic Health Record,'' Proceedings of the International Requirements Engineering Conference (RE'03), pp. 162-168, Monterey, CA, U.S.A., 8-12 September 2003. © 2003 IEEE PDF Reprint Link to Published Article at Publisher's Site
42. Denger, C., Berry, D.M., and Kamsties, E., ``Higher Quality Requirements Specifications through Natural Language Patterns,'' Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering (SwSTE'03), pp. 80-89, Herzliya Pituach, Israel, 4-6 November 2003. © 2003 IEEE PDF Reprint Link to Published Article at Publisher's Site
43. Berry, D.M., ``The Inevitable Pain of Software Development: Why There Is No Silver Bullet,'' M. Wirsing, S. Balsamo, A. Knapp (eds.), Radical Innovation of Software and Systems Engineering in the Future, Proceedings of the 2002 Monterey Conference, Selected Papers, pp. 50-74, LNCS 2941, Springer, 2004. © 2004 Springer-Verlag PDF Reprint Link to Published Article at Publisher's Site
44. Mich, L., Anesi, C., and Berry, D.M., ``Requirements Engineering and Creativity: An Innovative Approach Based on a Model of the Pragmatics of Communication,'' Proceedings of the Tenth Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 129-143, Essener Informatik Beträge, Riga Latvia, 7-8 June 2004. © 2004 by the Authors PDF Reprint Link to Conference Web Site
45. Berry, D.M., Cheng, B.H.C., and Zhang, J., ``The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems,'' Workshop on the Design and Evolution of Autonomic Application Software, St. Louis, MO, U.S.A., 2005. © 2005 by the Authors PDF Preprint Link to Workshop Web Site; paper presented at workshop, but not published in proceedings
46. Berry, D.M., Cheng, B.H.C., and Zhang, J., ``The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems,'' Proceedings of the Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 95- 100, Porto Portugal, 13-14 June, 2005. © 2005 by the Authors PDF Reprint Link to Conference Web Site
47. Hazan, C., Berry, D.M., Leite, J.C.S.P., ``Aplicação da Contagem Estimativa de Pontos de Função para Apoiar a Análise de Requisitos,'' Workshop em Enginharia de Requisitos, pp. 197-208, Porto Portugal, 13-14 June, 2005. © 2005 by the Authors PDF Reprint Link to Published Article at Publisher's Site Link to Conference Web Site
48. Svetinovic, D., Berry, D.M., Godfrey, M. ``Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It,'' Proceedings of the International Requirements Engineering Conference (RE'05), pp. 189-198, Paris, France, 29 August-2 September 2005. © 2005 IEEE PDF Preprint Link to Published Article at Publisher's Site
49. Svetinovic, D., Berry, D.M., Godfrey, M.W. ``Increasing Quality of Conceptual Models: Is Object-Oriented Analysis That Simple?,'' Proceedings of the ICSE 2006 Workshop on Role of Abstraction in Software Engineering, Shanghai, China, 21 May 2006
50.
Mich, L., Franch, M., Berry, D.M. ``Classifying Web-Application
Requirement Ideas Generated Using Creativity Fostering Techniques
According to a Quality Model for Web Applications,''
Proceedings of the Twelfth
International Workshop on Requirements Engineering: Foundation for Software
Quality, Luxembourg, 5--6 June 2006
51.
Berry, D.M. Bucchiarone, A., Gnesi, S., Lami, G. Trentanni, G.
``A New Quality Model for Natural Language Requirements
Specifications,''
Proceedings of the Twelfth
International Workshop on Requirements Engineering: Foundation for Software
Quality, Luxembourg, 5--6 June 2006
Invited Contributions to Books, Conferences,
Workshops, and Symposia
1. Berry, D.M. ``Specification of Programs,'' Proc. of I Seminario Internacional de Invierno sobre Desarrollo de Software Confiable Santiago, pp. 1-14, Santiago, Chile, July 1978.
2. Berry, D.M. ``PASCAL or ALGOL 68,'' Research Directions in Software Technology, pp. 641-645, in P. Wegner (Ed.), MIT Press, Cambridge, MA, 1979.
3. Berry, D.M. ``Program Proofs Made Practical,'' Proc. of II Seminario Internacional de Invierno sobre Ingenieria de Software, pp. 1-70, Santiago de Chile, July 1979.
4. Berry, D.M. ``High Level Language Computer Architecture: An Overview and Some Principles,'' Proc. of III Seminario Internacional de Invierno sobre Sistemas de Computacion, pp. 1-31, Santiago, Chile, August 1980.
5. Berry, D.M. ``Program Proofs Produced Practically,'' Tutorial Notes of 5th International Conference on Software Engineering, pp. 1-70, San Diego, CA, March 1981.
6. Berry, D.M. ``The Application of the Formal Development Methodology to Data Base Design and Integrity Verification,'' Cursos sobre Bases de Datos, pp. 5-90, Santiago, Chile, August 1981.
7. Berry, D.M. ``Program Proofs Produced Practically,'' Feed-Back 81, pp. 1-50, DSSD User's Conference, Topeka, KS, October 1981.
8. Berry, D.M. ``Towards an Environment for Gathering Rquirements,'' The Third Israeli Conference on Computer Systems and Software Engineering, Tel Aviv, Israel, June, 1988. © 1988 IEEE PDF Reprint Link to Published Article at Publisher's Site
9. Berry, D.M. ``The Academic Legitimacy of the Software Engineering Discipline,'' Seventh Brazilian Symposium on Software Engineering, Rio de Janeiro, Brazil, October, 1993. © 1993 by the Authors PDF Preprint
10. Berry, D.M. ``The Requirements Iceberg and Various Icepicks Chipping at It,'' Achieving Quality Software IV, San Diego, CA, January, 1994.
11. Berry, D.M. ``DEBATE, Resolved: It is possible to develop software of high quality while developing that software for research purposes, The Con Position,'' Achieving Quality Software IV, San Diego, CA, January, 1994.
12. Maarek, Y., Berry, D.M., and Kaiser, G.E., ``GURU: Information Retrieval for Reuse,'' Landmark Contributions in Software Reuse and Reverse Engineering edited by P. Hall, Unicom Seminars, Ltd., 1994. © 1994 by Unicom Seminars, Ltd. PDF Preprint
13. Berry, D.M., ``Whither Formal Methods: Some Thoughts on the Application of Formal Methods to the Problems of Software Engineering,'' 1994 Monterey Workshop, attendance-by-invitation-only, limited-number-of-participants workshop, Monterey, CA, September, 1994.
14. Berry, D.M. ``The Requirements Iceberg and Various Icepicks Chipping at It,'' Symposio Brasilerio de Enginharia de Software, Curitiba, Brasil, October, 1994.
15. Berry, D.M. ``The Requirements Iceberg and Various Icepicks Chipping at It,'' XIV International Conference of the Chilean Computer Science Society, Concepcion, Chile, November, 1994.
16. Berry, D.M., ``Issues in Computerization of Hebrew,'' First International Conference on Future and Communication, Technion City, Haifa, Israel, May, 1995.
17. Berry, D.M., ``Use of Dyanmic POSTSCRIPT Fonts to Implement Letter Stretching of Arabic and Persian and Slanted Baseline Writing of Persian,'' Schloss Dagstuhl Seminar on Document Processing, an attendance-by-invitation-only, limited-number-of-participants seminar, Wadern, Germany, 16-20 October, 1995.
18. Berry, D.M., ``Software Engineering Myths and Realities,'' XI Simposio Brasileiro de Enginharia de Software, Fortaleza, Brasil, October, 1997.
19. Berry, D.M., ``User's Manuals as Scenario-Based Requirements Specifications,'' Schloss Dagstuhl Workshop on Scenario Management, an attendance-by-invitation-only, limited-number-of-participants seminar, Wadern, Germany, 9-13 February, 1998.
20. Berry, D.M. and Lawrence, B., ``Requirements Engineering,'' IEEE Software, 15:2, March, 1998, non-refereed Guest Editors' Introduction. © 1998 IEEE PDF Reprint Link to Published Article at Publisher's Site
21. Berry, D.M., ``Formal Methods, the Very Idea, Some Thoughts,'' 1998 Monterey Workshop on Engineering Automation for Computer Based Systems, attendance-by-invitation-only, limited-number-of-participants workshop, Monterey, CA, 27 October, 1998.
22. Berry, D.M., ``Ignorant Questions about Case Study,'' Schloss Dagstuhl Seminar on Requirements Capture, Documentation, and Validation, an attendance-by-invitation-only, limited-number-of-participants seminar, Wadern, Germany, 13-18 June, 1999 PDF txt.Z FTP
23. Ravid, A. and Berry, D.M., ``A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains,'' in (Eds. H.-J. Bullinger and J. Ziegler) Human-Computer Interaction: Ergonomics and User Interfaces, Volume 1, Proceedings of HCI International '99, Munich, Germany, 22-26 August 1999, pp. 900-905, Lawrence Erlbaum Associates, Mahwah, NJ 1999. © 1999 by Lawrence Erlbaum Associates PDF Preprint
24. Ramos, I. and Berry, D.M., ``The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities,'' Schloß Dagstuhl Seminar on Supporting Customer-Supplier Relationships (CSR), an attendance-by-invitation-only, limited-number-of-participants seminar, Wadern, Germany, 1-6 September 2002.
25. Berry, D.M., ``Requirements Engineering Lessons from House Building,'' Schloß Dagstuhl Seminar on Supporting Customer-Supplier Relationships (CSR), an attendance-by-invitation-only, limited-number-of-participants seminar, Wadern, Germany, 1-6 September 2002.
26. Berry, D.M. and Kamsties, E., ``Ambiguity in Requirements Specification,'' pp. 7-44, J.C.S.P. Leite and J. Doorn (eds.), Perspectives on Requirements Engineering, Kluwer, 2004 (Invited Book Chapter)
27. Berry, D.M., ``Requirements for Maintaining Web Access for Hearing-Impaired Individuals,'' Software Quality Journal, 12:1, pp. 9-28, 2004. © 1994 by Kluwer Academic Publishers © 1994 Springer-Verlag PDF Preprint Link to Published Article at Publisher's Site
28. Mich, L., Anesi, C., and Berry, D.M., ``EPMCreate, a Creativity Facilitation Technique Based on a Model of the Pragmatics of Communication,'' a Micro-Tutorial presented in a Mini-Tutorial on Creativity in Requirements Engineering, International Requirements Engineering Conference (RE), Kyoto, Japan, 10 September 2004.
29. Berry, D.M. and Kamsties, E., ``The Syntactically Dangerous All and Plural in Specifications,'' IEEE Software 22:1, pp. 55-57, January/February 2005 (Invited Article). © 2005 IEEE PDF Reprint Link to Published Article at Publisher's Site
30. Berry, D.M., ``Ambiguity in Requirements Specification,'' SBW05.3SEMAG Bimonthly Workshop, 16 June 2005, Departamento Sistemas de Informação, Universidade do Minho, Guimarães, Portugal (Invited Keynote Lecture)
31. Mich, L., Anesi, C., and Berry, D.M., ``EPMCreate, a Creativity Facilitation Technique Based on a Model of the Pragmatics of Communication,'' a Micro-Tutorial presented in a Mini-Tutorial on Creativity in Requirements Engineering, International Requirements Engineering Conference (RE), Paris, France, 2 September 2005.
32. Berry, D.M., ``Text Formatting,'' Encyclopedia of Language
and Linguistics, Second Edition, Elsevier, 2006.
33. Berry, D.M., To Be Decided, Schloß Dagstuhl Seminar on
Rigorous Methods for Software Construction and Analysis, an
attendance-by-invitation-only, limited-number-of-participants seminar,
Wadern, Germany, 7-12 May 2006.
Contributions to Non-refereed Conferences,
Symposia, Quarterlies, and Journals
Note that some of these, particularly those published in the UCLA Computer Science Dept. Quarterly, have been superceded by journal or refereed conference articles listed above.
While I do not have reprints for most of these, I do have most of the issues or proceedings that contain these articles. So, if you want an article, do click on any to ask me for it. I would be happy to make you a copy.
1. Berry, D.M. ``The Importance of Implementations in Algol 68 or How to Discover the Concept of Necessary Environment,'' SIGPLAN Notices, 5:9, pp. 14-24, September 1970. © Copyright 1970 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
2. Berry, D.M. ``Tasking in Oregano,'' Proc. of the 5th Annual Princeton Conf. on Information Sciences and Systems, pp. 295-299, March 1971
3. Berry, D.M. ``Towards ISMs for OPSs,'' Proc. of the SIGPLAN-SIGOPS Interface Meeting, pp. 46-49, April 1973. © Copyright 1973 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
4. Berry, D.M., Johnston, J.B., Murphy, D.P. ``Expression Stack Management in Nested Declaration Computation,'' Proc. of the 8th Annual Princeton Conf. on Information Sciences & Systems, pp. 311-315, March 1974
5. Berry, D.M. ``An Example of Structured Programming,'' UCLA Computer Science Dept. Quarterly, 2:3, pp. 37-48, July 1974
6. Lucena, C.J., Berry, D.M. ``Towards a Definition of Structured Programming,'' Proc. of the Int. Seminar on Collective Phenomena and the Applications of Physics to Other Fields of Science, pp. 260-264, Moscow, July 1974
7. Berry, D.M. ``Structured Documentation,'' SIGPLAN Notices, 10:11, pp. 7-12, Nov. 1975. © Copyright 1975 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
8. Berry, D.M., Schwartz, R.L. ``Preliminary Evaluation of DOD1 Language Proposals and SPL/I,'' in P. Wegner (Ed.) Language Design and Evaluation Studies, pp. 1-39, Brown Univ., Providence, RI, 1979
9. Berry, D.M., Schwartz, R.L. ``Type Equivalence in Strongly Typed Languages: One More Look,'' SIGPLAN Notices, 14:9, pp. 35-41, September 1979. © Copyright 1979 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
10. Berry, D.M. ``The Application of the Formal Development Methodology to Data Base Design and Integrity Verification,'' UCLA Computer Science Dept. Quarterly, 9:4, pp. 63-96, Fall, 1981 Paper)
11. Berry, D.M. ``A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism,'' The UCLA Computer Science Department Quarterly, 12:1, pp. 93-126, Winter, 1984 Paper)
12. Berry, D.M. ``A New Methodology for Generating Test Cases for A Programming Language Compiler,'' The UCLA Computer Science Department Quarterly, 10:4, pp. 63-72, Fall, 1982 Research Paper)
13. Berry, D.M. ``On Intellectual Responsibility,'' Communications of the ACM, 25:9, pp 676-677., 1982
14. Berry, D.M. ``A New Methodology for Generating Test Cases for A Programming Language Compiler,'' SIGPLAN Notices, 18:2, pp. 46-56, February, 1983. © Copyright 1983 by ACM, Inc. PDF Reprint Link to Published Article at Publisher's Site
15. Berry, D.M., Berry, O. ``The Programmer-Client Relationship in Arriving at Program Specifications: Guidelines and Linguistic Requirements,'' The UCLA Computer Science Department Quarterly, 11:2, pp. 107-126, Spring, 1983
16. Berry, D.M., Berry, O. ``Experiments in Object-Oriented Programming of Simulations of Concurrent Simulations using SIMULA 67,'' Proc. Eleventh SIMULA Users's Conference, pp. 1-7, Paris, France, September, 1983
17. Berry, D.M. ``On the Use of Ada as a Module Interconnection Language,'' Proc. of 17th Hawaii International Conference on System Science, pp. 294-302, Honolulu, Hawaii, January, 1984 Research Paper)
18. Mazaher, Sh., Berry, D.M. ``Deriving A Compiler from an Operational Semantics Written in VDL'' The UCLA Computer Science Department Quarterly, 12:2, pp. 111-126, Spring, 1984 Paper)
19. Berry, D.M. ``On the Application of Ada and its Tools to the Information Hiding Decomposition Methodology for Design of Software Systems,'' The UCLA Computer Science Department Quarterly, 12:4, pp. 93-115, Summer, 1984
20. Berry, D.M., Yavne, N., and Yavne, M. ``On the Requirements for and the Use of a Program Design Language: Parameterization, Abstract Data Typing, Strong Typing,'' Ada® Letters VI:1, pp. 82-89, January, February, 1986
21. Berry, D.M. ``DITROFF/FFORTID: An Adaptation of the UNIX® DITROFF for Formatting Bi-Directional Text,'' Hebrew Users Group Newsletter 4:2, p. 11, Spring, 1988
22. Yanai, S., Berry, D.M. ``Environment for Translating METAFONT to POSTSCRIPT'', TUGboat, 11:4, pp. 525-541, 1990 FTP
23. Schulman, E., et al (..., Berry, D.M., ...), ``History of
the Universe in 200 Words or Less in 30 Languages or More \s-3in Teeny
Tiny Type\s0,'' Annals of Improbable Research IV:6, 28-29,
November/December, 1998, Scientific Satire (The barely readable Hebrew
entry in there was done by us and copies of just that Hebrew entry are
available:
PDF
)
24. Berry, D.M. ``Knowing Everything about the Requirements for a
Computer-Based, Software-Intensive System,'' Requirenautics
Quarterly, Issue 20, pp. 11-12, March 2000
PDF
Non-Published Documents and Distributions
Various Other Documents
Wolfman, T. and Berry, D.M. ``floA Language for Typesetting Flowcharts,'' User's Manual, Faculty of Computer Science, Technion, Haifa, Israel, 1990 PDF
Allon, G. and Berry, D.M. ``MINIX.XINIM, Towards a Bi-Directional, Bi-Lingual UNIX Operating System,'' Technical Report, Faculty of Computer Science, Technion, Haifa, Israel, 1991 PDF
Berry, D.M. ``Academic Legitimacy of the Software Engineering Discipline,'' Technical Report CMU/SEI-92-TR-34, ESC-TR-92-034, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213, 1992 PDF
Srouji, J. and Berry, D.M. ``Arabic Formatting with ditroff/ffortid,'' Technical Report, Faculty of Computer Science, Technion, Haifa, Israel, 1993 PDF
Page showing Jean-Luc Picard's ``Space, the final frontier...'' from Star Trek, the Next Generation in English, Hebrew, and Arabic, 1993 PDF
Berry, D.M. ``Formal Specification and Verification of Concurrent Programs,'' Curriculum Module SEI-CM-CV-0.1, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213, 1993 PDF
Jehuda, J. and Berry, D.M. ``A Top-Layer Design Approach for Adaptive Real-Time Software,'' Technical Report EE PUB 966, Faculty of Electrical Engineering, Technion, Haifa, Israel, May, 1995 PDF
Berry, D.M. and Weber, M. ``A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations,'' Technical Report CS899, Faculty of Computer Science, Technion, Haifa, Israel, December, 1996. PDF (slightly changed version: PDF)
Berry, D.M. ``Stretching Letter and Slanted-Baseline Formatting for Arabic, Hebrew, and Persian with ditroff and Dynamic POSTSCRIPT Fonts,'' Technical Report, Faculty of Computer Science, Technion, Haifa, Israel, 1998 PDF
Hornreich, H.I. and Berry, D.M. ``A Case Study of Software Reengineering,'' Technical Report, Faculty of Computer Science, Technion, Haifa, Israel, 1998 PDF
Berry, D.M. and Kamsties, E. ``The Dangerous `All' in Specifications,'' Technical Report, University of Waterloo, Waterloo, ON, Canada, July, 2000 PDF
Berry, D.M. ``Appliances and Software: The Importance of the Buyer's Warranty and the Developer's Liability in Promoting the Use of Systematic Quality Assurance and Formal Methods,'' Technical Report, University of Waterloo, Waterloo, ON, Canada, July, 2000 PDF Also appeared in Proceedings of the 2000 Monterey Workshop on Modelling Software System Structures in a Fastly Moving Scenario
Berry, D.M., ``What, Not How? When Is `How' Really `What'? and Some Thoughts on Quality Requirements,'' Technical Report, University of Waterloo, Waterloo, ON, Canada, July, 2000 PDF
Berry, D.M., Daudjee, K., Dong, J., Nelson, M.A., and Nelson, T., ``User's Manual as a Requirements Specification'' Technical Report, CS 2001-17, University of Waterloo, Waterloo, ON, Canada, May, 2001 PDF
Kamsties, E., Berry, D.M., and Paech, B., ``Detecting Ambiguities in Requirements Documents Using Inspections,'' Technical Report, University of Waterloo, Waterloo, ON, Canada, June, 2001 PDF
Berry, D.M., ``Understanding the Beginning of Genesis: Just How Many Beginnings Were There?'', Technical Report, University of Waterloo, Waterloo, ON, Canada, September, 2001 PDF
Berry, D.M., Kamsties, E., and M.M. Krieger, ``From Contract Drafting to
Software Specification: Linguistic Sources of Ambiguity, A Handbook,''
Technical Report, School of Computer Science, University of
Waterloo, Waterloo, Ontario, Canada, 2003.
PDF
Berry, D.M., ``The Inevitable Pain of Software Development:
Why There Is No Silver Bullet,'' Technical Report, School of Computer
Science, University of Waterloo, Waterloo, Ontario, Canada, 2003.
PDF
Kwan, I.H. and Berry, D.M., ``Specify First or Build First?
Empirical Studies of Requirements Engineering Activities: A Survey,''
Technical Report, School of Computer Science, University of
Waterloo, Waterloo, Ontario, Canada, 2004.
PDF
Svetinovic, D.,
Berry, D.M.,
Day, N.A., and
Godfrey, M.W.,
``Domain System Statecharts: The Good, the Bad, and the Ugly,''
Technical Report, Cheriton School of Computer Science, University of
Waterloo, Waterloo, Ontario, Canada, 2006.
PDF
Students' Theses and Software Distributions
Leah Goldin's Ph.D. Thesis
FTP
Karin Sequerra-Breitman's Pre-Doc Fellowship Work
FTP
Harry Hornreich's M.Sc. Thesis
FTP
Faina Shpilberg's M.Sc. Thesis
FTP
Alon Ravid's M.Sc. Thesis
FTP
Jair Jehuda's Ph.D. Thesis
FTP
vi.iv (Bidirectional vi) Source Code (differences from
licensed vi only)
FTP
mf2ps
(METAFONT to POSTSCRIPT
Translator Source Code in tar format
TAR
Indexing Source Code
FTP
findprhases Source Code
FTP
Baghdadi Arabic PostScript Font in ZIP format (public domain,
taken from net a long time ago)
ZIP
Leah Goldin's Ph.D Thesis and AbstFinder Source Code
FTP
AbstFinder Source Code in compressed tar format
tar.Z