BIBLIOGRAPHY

Papers Published in Professional and Scholarly Journals, Proceedings, Records of Conferences and Symposia, or Quarterlies

  1. Refereed Contributions to Journals (brings you to last item in list)
  2. Refereed Contributions to Conferences and Symposia (brings you to last item in list)
  3. Invited Contributions to Books, Conferences, Workshops, and Symposia (brings you to last item in list)
  4. Contributions to Non-refereed Conferences, Symposia, Quarterlies, and Journals (brings you to last item in list)

Non-Published Documents and Distributions

  1. Various Other Documents (brings you to last item in list)
  2. Students' Theses and Software Distributions (brings you to FIRST item in list)

Papers Published in Professional and Scholarly Journals, Proceedings, Records of Conferences and Symposia, or Quarterlies

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,'' Software—Practice & 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,'' Software—Practice & 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., ``flo—A 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.3—SEMAG 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. ``flo—A 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