The importance of implementation models in ALGOL 68: or how to discover the concept of necessary environment. - Daniel M. Berry (ACM SIGPLAN Notices, 1970)

Block Structure: Retention or Deletion? (Extended Abstract) - Daniel M. Berry (STOC, 1971)

Introduction to Oregano. - Daniel M. Berry (ACM SIGPLAN Notices, 1971)

The equivalence of models of tasking. - Daniel M. Berry (Proving Assertions About Programs, 1972)

On the time required for retention. - Daniel M. Berry; Laurian M. Chirica; John B. Johnston; David F. Martin; Arthur Sorkin (HLLCA, 1973)

Towards ISMs for OPSs. - Daniel M. Berry (SIGPLAN-SIGOPS Interface Meeting, 1973)

Towards a definition of structured programming. - Carlos José Pereira de Lucena; Daniel M. Berry (ACM Annual Conference (2), 1974)

Structured documentation. - Daniel M. Berry (ACM SIGPLAN Notices, 1975)

SIGPLAN(Tutorial Session). - Daniel M. Berry; John B. Johnston (ACM Annual Conference, 1976)

Correctness of Data Representations: Pointers in High Level Languages. - Daniel M. Berry; Z. Erlich; Carlos José Pereira de Lucena (Conference on Data: Abstraction, Definition and Structure, 1976)

Models of Hierarchical Machine Support. - Daniel M. Berry; Michael Erlinger; John B. Johnston; Arndt von Staa (Formal Description of Programming Concepts, 1977)

Pointers and Data Abstractions in High Level Languages - II: Correctness Proofs. - Daniel M. Berry (Comput. Lang., 1977)

Pointers and Data Abstractions in High Level Languages - I: Language Proposals. - Daniel M. Berry; Z. Erlich; Carlos José Pereira de Lucena (Comput. Lang., 1977)

Time required for reference count management in retention block-structured languages. Part 1. - Daniel M. Berry; Laurian M. Chirica; John B. Johnston; David F. Martin; Arthur Sorkin (Int. J. Parallel Program., 1978)

On the time required for reference count management in retention block-structured languages. Part 2. - Daniel M. Berry; Laurian M. Chirica; John B. Johnston; David F. Martin; Arthur Sorkin (Int. J. Parallel Program., 1978)

Time required for garbage collection in retention block-structured languages. - Daniel M. Berry; Arthur Sorkin (Int. J. Parallel Program., 1978)

The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. - Daniel M. Berry; Maria Heloisa (Lolo) Penedo (ICSE, 1979)

A semantic view of ALGOL 68. - Richard L. Schwartz; Daniel M. Berry (Comput. Lang., 1979)

United and Discriminated Record Types in Strongly Typed Languages. - Daniel M. Berry; Richard L. Schwartz (Inf. Process. Lett., 1979)

Type equivalence in strongly typed languages: one more look. - Daniel M. Berry; Richard L. Schwartz (ACM SIGPLAN Notices, 1979)

Toward Modular Verifiable Exception Handling. - Daniel M. Berry; Richard A. Kemmerer; Arndt von Staa; Shaula Yemini (Comput. Lang., 1980)

An Algorithm to Support Code-Skeleton Generation for Concurrent Systems. - Maria Heloisa (Lolo) Penedo; Daniel M. Berry; Gerald Estrin (ICSE, 1981)

Remarks on R. D. Tennent's Language Design Methods Based on Semantic Principles: Algol 68, A Language Designed Using Semantic Principles. - Daniel M. Berry (Acta Informatica, 1981)

Language Constructs for Real-Time Distributed Systems. - Daniel M. Berry; Carlo Ghezzi; Dino Mandrioli; Francesco Tisato (Comput. Lang., 1982)

BASIS: A Behavioral Approach to the Specification of Information Systems. - Nancy G. Leveson; Anthony I. Wasserman; Daniel M. Berry (Inf. Syst., 1983)

A New Methodology for Generating Test Cases for a Programming Language Compiler. - Daniel M. Berry (ACM SIGPLAN Notices, 1983)

Specification and Prototyping: Some Thoughts on Why They Are Successful. - Daniel M. Berry; Jeannette M. Wing (TAPSOFT, Vol.2, 1985)

A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism. - Daniel M. Berry (Acta Informatica, 1985)

Deriving a Compiler From an Operational Semantics Written in VDL. - Shahrzade Mazaher; Daniel M. Berry (Comput. Lang., 1985)

An Ina Jo® proof manager for the formal development method. - Daniel M. Berry (ACM SIGSOFT Softw. Eng. Notes, 1985)

DITROFF/FFORTID, An Adaptation of the UNIX DITROFF for Formatting Bidirectional Text. - Cary Buchman; Daniel M. Berry; Jakob Gonczarowski (ACM Trans. Inf. Syst., 1985)

A Modular Verifiable Exception-Handling Mechanism. - Shaula Yemini; Daniel M. Berry (ACM Trans. Program. Lang. Syst., 1985)

Operational and Denotational Semantics of Prolog. - Bijan Arbab; Daniel M. Berry (J. Log. Program., 1987)

Application of program design language tools to abbott's method of program design by informal natural language descriptions. - Daniel M. Berry; Nancy Yavne; Moshe Yavne (J. Syst. Softw., 1987)

An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. - Shaula Yemini; Daniel M. Berry (ACM Trans. Program. Lang. Syst., 1987)

Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language. - Daniel M. Berry (IEEE Trans. Software Eng., 1987)

TRIROFF, an Adaptation of the Device-Independent TROFF for Formatting Tri-directional Text. - Zeev Becker; Daniel M. Berry (Electron. Publ., 1988)

The use of lexical affinities in requirements extraction. - Yoëlle S. Maarek; Daniel M. Berry (IWSSD, 1989)

indx and findphrases, A System for Generating Indexes for Ditroll Documents. - Kris K. Abe; Daniel M. Berry (Softw. Pract. Exp., 1989)

Vi.iv, a Vi-directional Version of the Full-screen Editor. - Uri Habusha; Daniel M. Berry (Electron. Publ., 1990)

The use of a repeated phrase finder in requirements extraction. - Christine Aguilera; Daniel M. Berry (J. Syst. Softw., 1990)

Automatic Synthesis of SARA Design Models From System Requirements. - Kar-Wing Edward Lor; Daniel M. Berry (IEEE Trans. Software Eng., 1991)

An Information Retrieval Approach For Automatically Constructing Software Libraries. - Yoëlle S. Maarek; Daniel M. Berry; Gail E. Kaiser (IEEE Trans. Software Eng., 1991)

Arabic Formatting with DITROFF/FFORTID. - Johny Srouji; Daniel M. Berry (Electron. Publ., 1992)

AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation. - Leah Goldin; Daniel M. Berry (ICRE, 1994)

Representing and solving the automated building design problem. - Avner Schwarz; Daniel M. Berry; Edna Shaviv (Comput. Aided Des., 1994)

On the use of the automated building design system. - Avner Schwarz; Daniel M. Berry; Edna Shaviv (Comput. Aided Des., 1994)

Some Comments on "A Denotational Semantics for Prolog". - Bijan Arbab; Daniel M. Berry (ACM Trans. Program. Lang. Syst., 1994)

A time-sharing architecture for complex real-time systems. - Jair Jehuda; Gilad Koren; Daniel M. Berry (ICECCS, 1995)

The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements Engineering. - Karin Sequerra-Breitman; Daniel M. Berry (SBES, 1995)

The importance of ignorance in requirements engineering. - Daniel M. Berry (J. Syst. Softw., 1995)

A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. - Daniel M. Berry; M. Weber (ICFEM, 1997)

AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation. - Leah Goldin; Daniel M. Berry (Autom. Softw. Eng., 1997)

Reply to Commentaries. - Leah Goldin; Daniel M. Berry (Autom. Softw. Eng., 1997)

The Safety Requirements Engineering Dilemma. - Daniel M. Berry (IWSSD, 1998)

Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep - Viewpoint. - Daniel M. Berry (Requir. Eng., 1998)

Guest Editors' Introduction: Requirements Engineering. - Daniel M. Berry; Brian Lawrence (IEEE Softw., 1998)

A Method for Extracting Requirements that a User Interface Prototype Contains. - Alon Ravid; Daniel M. Berry (HCI (1), 1999)

Stretching letter and slanted-baseline formatting for Arabic, Hebrew, and Persian with ditroff/ffortid and dynamic PostScript fonts. - Daniel M. Berry (Softw. Pract. Exp., 1999)

The Dangerous 'All' in Specifications. - Daniel M. Berry; Erik Kamsties (IWSSD, 2000)

A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains. - Alon Ravid; Daniel M. Berry (Requir. Eng., 2000)

The Inevitable Pain of Software Development: Why There Is No Silver Bullet. - Daniel M. Berry (RISSEF, 2002)

The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities. - Isabel Ramos 001; Daniel M. Berry; João Álvaro Carvalho (Soft-Ware, 2002)

The importance of ignorance in requirements engineering: An earlier sighting and a revisitation. - Daniel M. Berry (J. Syst. Softw., 2002)

Formal methods: the very idea - Some thoughts about why they work when they work. - Daniel M. Berry (Sci. Comput. Program., 2002)

Formal Structure for Specifying the Content and Quality of the Electronic Health Record. - H. Dominic Covvey; David Zitner; Daniel M. Berry; Donald D. Cowan; Michael A. Shepherd (RE, 2003)

Higher Quality Requirements Specifications through Natural Language Patterns. - Christian Denger; Daniel M. Berry; Erik Kamsties (SwSTE, 2003)

More requirements engineering adventures with building contractors. - Daniel M. Berry (Requir. Eng., 2003)

Comments on "Formal Methods Application: An Empirical Tale of Software Development". - Daniel M. Berry; Walter F. Tichy (IEEE Trans. Software Eng., 2003)

User's manual as a requirements specification: case studies. - Daniel M. Berry; Khuzaima Daudjee; Jing Dong 005; Igor Fainchtein; Maria Augusta V. Nelson; Torsten Nelson; Lihua Ou (Requir. Eng., 2004)

Second International Workshop on From SofTware Requirements to Architectures (STRAW'03). - Daniel M. Berry; Rick Kazman; Roel J. Wieringa (ACM SIGSOFT Softw. Eng. Notes, 2004)

Requirements for Maintaining Web Access for Hearing-Impaired Individuals. - Daniel M. Berry (Softw. Qual. J., 2004)

To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? - Daniel M. Berry; Daniela E. Damian; Anthony Finkelstein; Donald C. Gause; Robert Hall; Alan Wassyng (RE, 2005)

Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It. - Davor Svetinovic; Daniel M. Berry; Michael W. Godfrey (RE, 2005)

É possível substituir processos de Engenharia de Requisitos por Contagem de Pontos de Função?. - Claudia Hazan; Daniel M. Berry; Julio César Sampaio do Prado Leite (WER, 2005)

Requirements engineering for organizational transformation. - Isabel Ramos 001; Daniel M. Berry; João Álvaro Carvalho (Inf. Softw. Technol., 2005)

Social Construction of Information Technology Supporting Work. - Isabel Ramos 001; Daniel M. Berry (J. Cases Inf. Technol., 2005)

Supporting scenario evolution. - Karin Koogan Breitman; Julio César Sampaio do Prado Leite; Daniel M. Berry (Requir. Eng., 2005)

Applying a pragmatics-based creativity-fostering technique to requirements elicitation. - Luisa Mich; Cinzia Anesi; Daniel M. Berry (Requir. Eng., 2005)

Is emotion relevant to requirements engineering? - Isabel Ramos 001; Daniel M. Berry (Requir. Eng., 2005)

The Syntactically Dangerous All and Plural in Specifications. - Daniel M. Berry; Erik Kamsties (IEEE Softw., 2005)

Increasing quality of conceptual models: is object-oriented analysis that simple? - Davor Svetinovic; Daniel M. Berry; Michael W. Godfrey (ROA@ICSE, 2006)

Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC. - Joel So; Daniel M. Berry (RE, 2006)

Aybüke Aurum and Claes Wohlin (eds): Engineering and managing software requirements. - Daniel M. Berry (Requir. Eng., 2006)

Ambiguity in Natural Language Requirements Documents. - Daniel M. Berry (Monterey Workshop, 2007)

Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models. - Daniel Popescu 001; Spencer Rugaber; Nenad Medvidovic; Daniel M. Berry (Monterey Workshop, 2007)

Requirements Engineering Lessons from House Building. - Daniel M. Berry (WER, 2007)

Extended Disambiguation Rules for Requirements Specifications. - Sri Fatimah Tjong; Michael Hartley; Daniel M. Berry (WER, 2007)

Distributed priority ranking of strategic preliminary requirements for management information systems in economic organizations. - Andrzej Sobczak; Daniel M. Berry (Inf. Softw. Technol., 2007)

Unified use case statecharts: case studies. - Davor Svetinovic; Daniel M. Berry; Nancy A. Day; Michael W. Godfrey (Requir. Eng., 2007)

In requirements engineering, everything is an aspect. - Daniel M. Berry (EA@ICSE, 2008)

Can Rules of Inferences Resolve Coordination Ambiguity in Natural Language Requirements Specification? - Sri Fatimah Tjong; Daniel M. Berry (WER, 2008)

Requirements for tools for ambiguity identification and measurement in natural language requirements specifications. - Nadzeya Kiyavitskaya; Nicola Zeni; Luisa Mich; Daniel M. Berry (Requir. Eng., 2008)

The Software Engineering Silver Bullet Conundrum. - Daniel M. Berry (IEEE Softw., 2008)

Requirements Determination is Unstoppable: An Experience Report. - Daniel M. Berry; Krzysztof Czarnecki 001; Michal Antkiewicz; Mohamed AbdelRazik (RE, 2010)

Planned programming problem gotchas as lessons in requirements engineering. - Daniel M. Berry; Craig S. Kaplan (REET, 2010)

Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation. - Victoria Sakhnini; Daniel M. Berry; Luisa Mich (REFSQ, 2010)

Ethics Test Results Before and After Ethics Training: A Disturbing Experience. - Daniel M. Berry; Brian Berenbach (SwSTE, 2010)

Developers want requirements, but their project manager doesn't; and a possibly transcendent Hawthorne effect. - Daniel Isaacs; Daniel M. Berry (EmpiRE, 2011)

Keynote requirements for maintaining web access for hearing-impaired individuals: A ten-year perspective. - Daniel M. Berry (WSE, 2011)

Liability issues in software engineering: technical perspective. - Daniel M. Berry (Commun. ACM, 2011)

Software requirements and design: the work of Michael Jackson by Bashar Nuseibeh and Pamela Zave. - Daniel M. Berry (ACM SIGSOFT Softw. Eng. Notes, 2011)

The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation. - Ali Niknafs; Daniel M. Berry (RE, 2012)

The Case for Dumb Requirements Engineering Tools. - Daniel M. Berry; Ricardo Gacitúa; Pete Sawyer; Sri Fatimah Tjong (REFSQ, 2012)

Introduction to the REFSQ 2011 special issue. - Daniel M. Berry; Xavier Franch (Requir. Eng., 2012)

The effectiveness of an optimized EPMcreate as a creativity enhancement technique for Web site requirements elicitation. - Victoria Sakhnini; Luisa Mich; Daniel M. Berry (Requir. Eng., 2012)

An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation. - Ali Niknafs; Daniel M. Berry (RE, 2013)

Requirement Ambiguity Not as Important as Expected - Results of an Empirical Evaluation. - Erik Jan Philippo; Werner Heijstek; Bas Kruiswijk; Michel R. V. Chaudron; Daniel M. Berry (REFSQ, 2013)

The Design of SREE - A Prototype Potential Ambiguity Finder for Requirements Specifications and Lessons Learned. - Sri Fatimah Tjong; Daniel M. Berry (REFSQ, 2013)

Quantifying the impact of requirements definition and management process maturity on project outcome in large business application development. - Keith Ellis; Daniel M. Berry (Requir. Eng., 2013)

The essential similarity and differences between mathematical modeling and programming. - Daniel M. Berry (Sci. Comput. Program., 2013)

Requirements Elicitation. - Daniel M. Berry (Computing Handbook, 3rd ed. (1), 2014)

Lessons Learned from and for Requirements Engineering and Building Construction: A Case Study of Requirements Engineering for a Synagogue Kitchen with Use Cases and Scenarios. - Cyril Mauger; Daniel M. Berry (SwSTE, 2014)

Reuse of requirements reduced time to market at one industrial shop: a case study. - Leah Goldin; Daniel M. Berry (Requir. Eng., 2015)

Privacy Personas: Clustering Users via Attitudes and Behaviors toward Security Practices. - Janna Lynn Dupree; Richard Devries; Daniel M. Berry; Edward Lank (CHI, 2016)

Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. - Anna Zamansky; Irit Hadar; Daniel M. Berry (ENASE, 2016)

The Problem of the Lack of Benefit of a Document to Its Producer (PotLoBoaDtiP). - Daniel M. Berry; Krzysztof Czarnecki 001; Michal Antkiewicz; Mohamed AbdelRazik (SwSTE, 2016)

An Empirical Study of the Software Development Process, Including Its Requirements Engineering, at Very Large Organization: How to Use Data Mining in Such a Study. - Colin M. Werner; Daniel M. Berry (APRES, 2017)

Evaluation of Tools for Hairy Requirements and Software Engineering Tasks. - Daniel M. Berry (RE Workshops, 2017)

Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. - Daniel M. Berry; Jane Cleland-Huang; Alessio Ferrari 001; Walid Maalej; John Mylopoulos; Didar Zowghi (RE, 2017)

Improving the Identification of Hedonic Quality in User Requirements - A Controlled Experiment. - Andreas Maier 003; Daniel M. Berry (RE, 2017)

Downsizing EPMcreate to Lighter Creativity Techniques for Requirements Elicitation. - Luisa Mich; Victoria Sakhnini; Daniel M. Berry (REFSQ Workshops, 2017)

The impact of domain knowledge on the effectiveness of requirements engineering activities. - Ali Niknafs; Daniel M. Berry (Empir. Softw. Eng., 2017)

Group versus individual use of power-only EPMcreate as a creativity enhancement technique for requirements elicitation. - Victoria Sakhnini; Luisa Mich; Daniel M. Berry (Empir. Softw. Eng., 2017)

Creativity Techniques for Requirements Elicitation: Comparing Four-Step EPMcreate-Based Processes. - Andrea Herrmann 001; Luisa Mich; Daniel M. Berry (EmpiRE@RE, 2018)

Keynote: Evaluation of NLP Tools for Hairy RE Tasks. - Daniel M. Berry (REFSQ Workshops, 2018)

Improving the identification of hedonic quality in user requirements: a second controlled experiment. - Andreas Maier 003; Daniel M. Berry (Requir. Eng., 2018)

A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users. - Janna-Lynn (Weber) Dupree; Edward Lank; Daniel M. Berry (Sci. Comput. Program., 2018)

The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development. - Daniel M. Berry (RE Workshops, 2019)

Preface: Eighth International Workshop on Creativity in Requirements Engineering (CreaRE 2019). - Andrea Herrmann 001; Daniel M. Berry; Maya Daneva; Eduard C. Groen (REFSQ Workshops, 2019)

Two Experiments Comparing Two Four-Step EPMcreate-Based Creativity Techniques for Requirements Elicitation. - Andrea Herrmann 001; Luisa Mich; Daniel M. Berry (REFSQ Workshops, 2019)

The inconsistency between theory and practice in managing inconsistency in requirements engineering. - Irit Hadar; Anna Zamansky; Daniel M. Berry (Empir. Softw. Eng., 2019)

The Tenth Anniversary of the CreaRE Workshops: A Look Back and a Look Forward. - Daniel M. Berry (REFSQ Workshops, 2020)

Requirements for Monitoring Inattention of the Responsible Human in an Autonomous Vehicle: The Recall and Precision Tradeoff. - Johnathan DiMatteo; Daniel M. Berry; Krzysztof Czarnecki 001 (REFSQ Workshops, 2020)

The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them? - Cristina Ribeiro 005; Daniel M. Berry (Sci. Comput. Program., 2020)

An Ontology for Ploke: Rhetorical Figures of Lexical Repetitions. - Yetian Wang; Randy Allen Harris; Daniel M. Berry (JOWO, 2021)

Empirical evaluation of tools for hairy requirements engineering tasks. - Daniel M. Berry (Empir. Softw. Eng., 2021)

How to benefit from newbies' domain ignorance in software development projects. - Gaurav Mehrotra; Daniel M. Berry (Sci. Comput. Program., 2021)

Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence? - Daniel M. Berry (REFSQ, 2022)

Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements. - Daniel M. Berry; Márcia Lucena; Victoria Sakhnini; Abhishek Dhakla (REFSQ, 2023)

To group or not to group? Group sizes for requirements elicitation. - Luisa Mich; Victoria Sakhnini; Daniel M. Berry (Inf. Softw. Technol., 2023)

An Empirical Study of the Impact of Waterfall and Agile Methods on Numbers of Requirements-Related Defects. - Anzira Rahman; Luiz Marcio Cysneiros; Daniel M. Berry (SAC, 2024)

A History of RE as Seen by a Still-Active Alter Kaker Who Was in It From Before the Beginning: Keynote Abstract. - Daniel M. Berry (MO2RE, 2025)

Why Large Language Models Appear to Be Intelligent and Creative: Because They Generate Bullsh*t! - Daniel M. Berry (Computer, 2025)