Daniel M. Berry

153 papers A* 5A 9B 9C 1Misc 1Journal 78Unranked 46
YearRankTypeTitle / Venue / Authors
2026 J jnl
The True Cost of AI Assistance to Programming of Software.
IEEE Softw.
Daniel M. Berry
2025 — conf
A History of RE as Seen by a Still-Active Alter Kaker Who Was in It From Before the Beginning: Keynote Abstract.
MO2RE
Daniel M. Berry
2025 J jnl
Why Large Language Models Appear to Be Intelligent and Creative: Because They Generate Bullsh*t!
Computer
Daniel M. Berry
2024 Misc conf
An Empirical Study of the Impact of Waterfall and Agile Methods on Numbers of Requirements-Related Defects.
SAC
Anzira Rahman, Luiz Marcio Cysneiros, Daniel M. Berry
2023 B conf
Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements.
REFSQ
Daniel M. Berry, Márcia Lucena, Victoria Sakhnini, Abhishek Dhakla
2023 J jnl
To group or not to group? Group sizes for requirements elicitation.
Inf. Softw. Technol.
Luisa Mich, Victoria Sakhnini, Daniel M. Berry
2022 B conf
Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence?
REFSQ
Daniel M. Berry
2021 — conf
An Ontology for Ploke: Rhetorical Figures of Lexical Repetitions.
JOWO
Yetian Wang, Randy Allen Harris, Daniel M. Berry
2021 J jnl
Empirical evaluation of tools for hairy requirements engineering tasks.
Empir. Softw. Eng.
Daniel M. Berry
2021 J jnl
How to benefit from newbies' domain ignorance in software development projects.
Sci. Comput. Program.
Gaurav Mehrotra, Daniel M. Berry
2020 — conf
Requirements for Monitoring Inattention of the Responsible Human in an Autonomous Vehicle: The Recall and Precision Tradeoff.
REFSQ Workshops
Johnathan DiMatteo, Daniel M. Berry, Krzysztof Czarnecki
2020 — conf
The Tenth Anniversary of the CreaRE Workshops: A Look Back and a Look Forward.
REFSQ Workshops
Daniel M. Berry
2020 J jnl
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?
Sci. Comput. Program.
Cristina Ribeiro, Daniel M. Berry
2019 — ed.
Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019.
REFSQ Workshops
Paola Spoletini, Patrick Mäder, Daniel M. Berry, Fabiano Dalpiaz, Maya Daneva, Alessio Ferrari, Xavier Franch, Sarah Gregory, Eduard C. Groen, Andrea Herrmann, Anne Hess, Frank Houdek, Oliver Karras, Anne Koziolek, Kim Lauenroth, Cristina Palomares, Mehrdad Sabetzadeh, Norbert Seyff, Marcus Trapp, Andreas Vogelsang, Thorsten Weyer
2019 — conf
Preface: Eighth International Workshop on Creativity in Requirements Engineering (CreaRE 2019).
REFSQ Workshops
Andrea Herrmann, Daniel M. Berry, Maya Daneva, Eduard C. Groen
2019 — conf
The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development.
RE Workshops
Daniel M. Berry
2019 J jnl
The inconsistency between theory and practice in managing inconsistency in requirements engineering.
Empir. Softw. Eng.
Irit Hadar, Anna Zamansky, Daniel M. Berry
2019 — conf
Two Experiments Comparing Two Four-Step EPMcreate-Based Creativity Techniques for Requirements Elicitation.
REFSQ Workshops
Andrea Herrmann, Luisa Mich, Daniel M. Berry
2018 J jnl
A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users.
Sci. Comput. Program.
Janna-Lynn (Weber) Dupree, Edward Lank, Daniel M. Berry
2018 — conf
Creativity Techniques for Requirements Elicitation: Comparing Four-Step EPMcreate-Based Processes.
EmpiRE@RE
Andrea Herrmann, Luisa Mich, Daniel M. Berry
2018 J jnl
Improving the identification of hedonic quality in user requirements: a second controlled experiment.
Requir. Eng.
Andreas Maier, Daniel M. Berry
2018 — conf
Keynote: Evaluation of NLP Tools for Hairy RE Tasks.
REFSQ Workshops
Daniel M. Berry
2017 — conf
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.
APRES
Colin M. Werner, Daniel M. Berry
2017 — conf
Downsizing EPMcreate to Lighter Creativity Techniques for Requirements Elicitation.
REFSQ Workshops
Luisa Mich, Victoria Sakhnini, Daniel M. Berry
2017 — conf
Evaluation of Tools for Hairy Requirements and Software Engineering Tasks.
RE Workshops
Daniel M. Berry
2017 J jnl
Group versus individual use of power-only EPMcreate as a creativity enhancement technique for requirements elicitation.
Empir. Softw. Eng.
Victoria Sakhnini, Luisa Mich, Daniel M. Berry
2017 A conf
Improving the Identification of Hedonic Quality in User Requirements - A Controlled Experiment.
RE
Andreas Maier, Daniel M. Berry
2017 — ed.
Joint Proceedings of REFSQ-2017 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017), Essen, Germany, February 27, 2017.
REFSQ Workshops
Eric Knauss, Angelo Susi, David Ameller, Daniel M. Berry, Fabiano Dalpiaz, Maya Daneva, Marian Daun, Oscar Dieste, Peter Forbrig, Eduard C. Groen, Andrea Herrmann, Jennifer Horkoff, Fitsum Meshesha Kifetew, Marite Kirikova, Alessia Knauss, Patrick Maeder, Fabio Massacci, Cristina Palomares, Jolita Ralyté, Ahmed Seffah, Alberto Siena, Bastian Tenbergen
2017 A conf
Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond.
RE
Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi
2017 J jnl
The impact of domain knowledge on the effectiveness of requirements engineering activities.
Empir. Softw. Eng.
Ali Niknafs, Daniel M. Berry
2016 A* conf
Privacy Personas: Clustering Users via Attitudes and Behaviors toward Security Practices.
CHI
Janna Lynn Dupree, Richard Devries, Daniel M. Berry, Edward Lank
2016 B conf
Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff.
ENASE
Anna Zamansky, Irit Hadar, Daniel M. Berry
2016 — conf
The Problem of the Lack of Benefit of a Document to Its Producer (PotLoBoaDtiP).
SwSTE
Daniel M. Berry, Krzysztof Czarnecki, Michal Antkiewicz, Mohamed AbdelRazik
2015 J jnl
Reuse of requirements reduced time to market at one industrial shop: a case study.
Requir. Eng.
Leah Goldin, Daniel M. Berry
2014 — ed.
Joint Proceedings of REFSQ-2014 Workshops, Doctoral Symposium, Empirical Track, and Posters, co-located with the 20th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2014), Essen, Germany, April 7-10, 2014.
REFSQ Workshops
Birgit Penzenstadler, Anne Persson, Andrea Herrmann, Maya Daneva, Jörg Dörr, Anne Hoffmann, Kurt Schneider, Axel Kalenborn, Marcus Trapp, Roel J. Wieringa, Daniel M. Berry, Xavier Franch, Jolita Ralyté, Krzysztof Wnuk, Vincenzo Gervasi
2014 — conf
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.
SwSTE
Cyril Mauger, Daniel M. Berry
2014 — ch.
Requirements Elicitation.
Computing Handbook, 3rd ed. (1)
Daniel M. Berry
2013 A conf
An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation.
RE
Ali Niknafs, Daniel M. Berry
2013 J jnl
Quantifying the impact of requirements definition and management process maturity on project outcome in large business application development.
Requir. Eng.
Keith Ellis, Daniel M. Berry
2013 B conf
Requirement Ambiguity Not as Important as Expected - Results of an Empirical Evaluation.
REFSQ
Erik Jan Philippo, Werner Heijstek, Bas Kruiswijk, Michel R. V. Chaudron, Daniel M. Berry
2013 B conf
The Design of SREE - A Prototype Potential Ambiguity Finder for Requirements Specifications and Lessons Learned.
REFSQ
Sri Fatimah Tjong, Daniel M. Berry
2013 J jnl
The essential similarity and differences between mathematical modeling and programming.
Sci. Comput. Program.
Daniel M. Berry
2012 J jnl
Introduction to the REFSQ 2011 special issue.
Requir. Eng.
Daniel M. Berry, Xavier Franch
2012 B conf
The Case for Dumb Requirements Engineering Tools.
REFSQ
Daniel M. Berry, Ricardo Gacitúa, Pete Sawyer, Sri Fatimah Tjong
2012 J jnl
The effectiveness of an optimized EPMcreate as a creativity enhancement technique for Web site requirements elicitation.
Requir. Eng.
Victoria Sakhnini, Luisa Mich, Daniel M. Berry
2012 A conf
The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation.
RE
Ali Niknafs, Daniel M. Berry
2011 — conf
Developers want requirements, but their project manager doesn't; and a possibly transcendent Hawthorne effect.
EmpiRE
Daniel Isaacs, Daniel M. Berry
2011 — conf
Keynote requirements for maintaining web access for hearing-impaired individuals: A ten-year perspective.
WSE
Daniel M. Berry
2011 J jnl
Liability issues in software engineering: technical perspective.
Commun. ACM
Daniel M. Berry
2011 B ed.
Requirements Engineering: Foundation for Software Quality - 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
REFSQ
Daniel M. Berry, Xavier Franch
2011 J jnl
Software requirements and design: the work of Michael Jackson by Bashar Nuseibeh and Pamela Zave.
ACM SIGSOFT Softw. Eng. Notes
Daniel M. Berry
2010 — conf
Ethics Test Results Before and After Ethics Training: A Disturbing Experience.
SwSTE
Daniel M. Berry, Brian Berenbach
2010 — conf
Planned programming problem gotchas as lessons in requirements engineering.
REET
Daniel M. Berry, Craig S. Kaplan
2010 A conf
Requirements Determination is Unstoppable: An Experience Report.
RE
Daniel M. Berry, Krzysztof Czarnecki, Michal Antkiewicz, Mohamed AbdelRazik
2010 B conf
Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation.
REFSQ
Victoria Sakhnini, Daniel M. Berry, Luisa Mich
2008 — conf
Can Rules of Inferences Resolve Coordination Ambiguity in Natural Language Requirements Specification?
WER
Sri Fatimah Tjong, Daniel M. Berry
2008 — conf
In requirements engineering, everything is an aspect.
EA@ICSE
Daniel M. Berry
2008 J jnl
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications.
Requir. Eng.
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel M. Berry
2008 J jnl
The Software Engineering Silver Bullet Conundrum.
IEEE Softw.
Daniel M. Berry
2007 — conf
Ambiguity in Natural Language Requirements Documents.
Monterey Workshop
Daniel M. Berry
2007 J jnl
Distributed priority ranking of strategic preliminary requirements for management information systems in economic organizations.
Inf. Softw. Technol.
Andrzej Sobczak, Daniel M. Berry
2007 — conf
Extended Disambiguation Rules for Requirements Specifications.
WER
Sri Fatimah Tjong, Michael Hartley, Daniel M. Berry
2007 — conf
Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models.
Monterey Workshop
Daniel Popescu, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry
2007 — conf
Requirements Engineering Lessons from House Building.
WER
Daniel M. Berry
2007 — conf
Requirements for Tools for Ambiguity Identification and Measurement in Natural Language Requirements Specifications.
WER
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel M. Berry
2007 J jnl
Unified use case statecharts: case studies.
Requir. Eng.
Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey
2006 J jnl
Aybüke Aurum and Claes Wohlin (eds): Engineering and managing software requirements.
Requir. Eng.
Daniel M. Berry
2006 A conf
Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC.
RE
Joel So, Daniel M. Berry
2006 — conf
Increasing quality of conceptual models: is object-oriented analysis that simple?
ROA@ICSE
Davor Svetinovic, Daniel M. Berry, Michael W. Godfrey
2005 J jnl
Applying a pragmatics-based creativity-fostering technique to requirements elicitation.
Requir. Eng.
Luisa Mich, Cinzia Anesi, Daniel M. Berry
2005 A conf
Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It.
RE
Davor Svetinovic, Daniel M. Berry, Michael W. Godfrey
2005 J jnl
Is emotion relevant to requirements engineering?
Requir. Eng.
Isabel Ramos, Daniel M. Berry
2005 J jnl
Requirements engineering for organizational transformation.
Inf. Softw. Technol.
Isabel Ramos, Daniel M. Berry, João Álvaro Carvalho
2005 J jnl
Social Construction of Information Technology Supporting Work.
J. Cases Inf. Technol.
Isabel Ramos, Daniel M. Berry
2005 J jnl
Supporting scenario evolution.
Requir. Eng.
Karin Koogan Breitman, Julio César Sampaio do Prado Leite, Daniel M. Berry
2005 J jnl
The Syntactically Dangerous All and Plural in Specifications.
IEEE Softw.
Daniel M. Berry, Erik Kamsties
2005 A conf
To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it?
RE
Daniel M. Berry, Daniela E. Damian, Anthony Finkelstein, Donald C. Gause, Robert Hall, Alan Wassyng
2005 — conf
É possível substituir processos de Engenharia de Requisitos por Contagem de Pontos de Função?.
WER
Claudia Hazan, Daniel M. Berry, Julio César Sampaio do Prado Leite
2004 J jnl
Requirements for Maintaining Web Access for Hearing-Impaired Individuals.
Softw. Qual. J.
Daniel M. Berry
2004 J jnl
Second International Workshop on From SofTware Requirements to Architectures (STRAW'03).
ACM SIGSOFT Softw. Eng. Notes
Daniel M. Berry, Rick Kazman, Roel J. Wieringa
2004 J jnl
User's manual as a requirements specification: case studies.
Requir. Eng.
Daniel M. Berry, Khuzaima Daudjee, Jing Dong, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou
2003 J jnl
Comments on "Formal Methods Application: An Empirical Tale of Software Development".
IEEE Trans. Software Eng.
Daniel M. Berry, Walter F. Tichy
2003 A conf
Formal Structure for Specifying the Content and Quality of the Electronic Health Record.
RE
H. Dominic Covvey, David Zitner, Daniel M. Berry, Donald D. Cowan, Michael A. Shepherd
2003 — conf
Higher Quality Requirements Specifications through Natural Language Patterns.
SwSTE
Christian Denger, Daniel M. Berry, Erik Kamsties
2003 J jnl
More requirements engineering adventures with building contractors.
Requir. Eng.
Daniel M. Berry
2003 A* conf
Second International Workshop on From SofTware Requirements to Architectures (STRAW?03).
ICSE
Daniel M. Berry, Rick Kazman, Roel J. Wieringa
2002 J jnl
Formal methods: the very idea - Some thoughts about why they work when they work.
Sci. Comput. Program.
Daniel M. Berry
2002 — conf
The Inevitable Pain of Software Development: Why There Is No Silver Bullet.
RISSEF
Daniel M. Berry
2002 — conf
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities.
Soft-Ware
Isabel Ramos, Daniel M. Berry, João Álvaro Carvalho
2002 J jnl
The importance of ignorance in requirements engineering: An earlier sighting and a revisitation.
J. Syst. Softw.
Daniel M. Berry
2001 — conf
Requirements for Maintaining Web Access for Hearing-Impaired Individuals.
WSE
Daniel M. Berry
2000 J jnl
A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains.
Requir. Eng.
Alon Ravid, Daniel M. Berry
2000 — conf
The Dangerous 'All' in Specifications.
IWSSD
Daniel M. Berry, Erik Kamsties
1999 — conf
A Method for Extracting Requirements that a User Interface Prototype Contains.
HCI (1)
Alon Ravid, Daniel M. Berry
1999 J jnl
Stretching letter and slanted-baseline formatting for Arabic, Hebrew, and Persian with ditroff/ffortid and dynamic PostScript fonts.
Softw. Pract. Exp.
Daniel M. Berry
1998 — conf
Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work.
Monterey Workshop
Daniel M. Berry
1998 J jnl
Guest Editors' Introduction: Requirements Engineering.
IEEE Softw.
Daniel M. Berry, Brian Lawrence
1998 J jnl
Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep - Viewpoint.
Requir. Eng.
Daniel M. Berry
1998 — conf
The Safety Requirements Engineering Dilemma.
IWSSD
Daniel M. Berry
1997 C conf
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations.
ICFEM
Daniel M. Berry, M. Weber
1997 J jnl
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation.
Autom. Softw. Eng.
Leah Goldin, Daniel M. Berry
1997 J jnl
Reply to Commentaries.
Autom. Softw. Eng.
Leah Goldin, Daniel M. Berry
1995 B conf
A time-sharing architecture for complex real-time systems.
ICECCS
Jair Jehuda, Gilad Koren, Daniel M. Berry
1995 — conf
The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements Engineering.
SBES
Karin Sequerra-Breitman, Daniel M. Berry
1995 J jnl
The importance of ignorance in requirements engineering.
J. Syst. Softw.
Daniel M. Berry
1994 — conf
AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation.
ICRE
Leah Goldin, Daniel M. Berry
1994 J jnl
On the use of the automated building design system.
Comput. Aided Des.
Avner Schwarz, Daniel M. Berry, Edna Shaviv
1994 J jnl
Representing and solving the automated building design problem.
Comput. Aided Des.
Avner Schwarz, Daniel M. Berry, Edna Shaviv
1994 J jnl
Some Comments on "A Denotational Semantics for Prolog".
ACM Trans. Program. Lang. Syst.
Bijan Arbab, Daniel M. Berry
1992 J jnl
Arabic Formatting with DITROFF/FFORTID.
Electron. Publ.
Johny Srouji, Daniel M. Berry
1991 J jnl
An Information Retrieval Approach For Automatically Constructing Software Libraries.
IEEE Trans. Software Eng.
Yoëlle S. Maarek, Daniel M. Berry, Gail E. Kaiser
1991 J jnl
Automatic Synthesis of SARA Design Models From System Requirements.
IEEE Trans. Software Eng.
Kar-Wing Edward Lor, Daniel M. Berry
1990 J jnl
The use of a repeated phrase finder in requirements extraction.
J. Syst. Softw.
Christine Aguilera, Daniel M. Berry
1990 J jnl
Vi.iv, a Vi-directional Version of the Full-screen Editor.
Electron. Publ.
Uri Habusha, Daniel M. Berry
1989 — conf
The use of lexical affinities in requirements extraction.
IWSSD
Yoëlle S. Maarek, Daniel M. Berry
1989 J jnl
indx and findphrases, A System for Generating Indexes for Ditroll Documents.
Softw. Pract. Exp.
Kris K. Abe, Daniel M. Berry
1988 J jnl
TRIROFF, an Adaptation of the Device-Independent TROFF for Formatting Tri-directional Text.
Electron. Publ.
Zeev Becker, Daniel M. Berry
1987 J jnl
An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language.
ACM Trans. Program. Lang. Syst.
Shaula Yemini, Daniel M. Berry
1987 J jnl
Application of program design language tools to abbott's method of program design by informal natural language descriptions.
J. Syst. Softw.
Daniel M. Berry, Nancy Yavne, Moshe Yavne
1987 J jnl
Operational and Denotational Semantics of Prolog.
J. Log. Program.
Bijan Arbab, Daniel M. Berry
1987 J jnl
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language.
IEEE Trans. Software Eng.
Daniel M. Berry
1985 J jnl
A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism.
Acta Informatica
Daniel M. Berry
1985 J jnl
A Modular Verifiable Exception-Handling Mechanism.
ACM Trans. Program. Lang. Syst.
Shaula Yemini, Daniel M. Berry
1985 J jnl
An Ina Jo® proof manager for the formal development method.
ACM SIGSOFT Softw. Eng. Notes
Daniel M. Berry
1985 J jnl
DITROFF/FFORTID, An Adaptation of the UNIX DITROFF for Formatting Bidirectional Text.
ACM Trans. Inf. Syst.
Cary Buchman, Daniel M. Berry, Jakob Gonczarowski
1985 J jnl
Deriving a Compiler From an Operational Semantics Written in VDL.
Comput. Lang.
Shahrzade Mazaher, Daniel M. Berry
1985 — conf
Specification and Prototyping: Some Thoughts on Why They Are Successful.
TAPSOFT, Vol.2
Daniel M. Berry, Jeannette M. Wing
1983 J jnl
A New Methodology for Generating Test Cases for a Programming Language Compiler.
ACM SIGPLAN Notices
Daniel M. Berry
1983 J jnl
BASIS: A Behavioral Approach to the Specification of Information Systems.
Inf. Syst.
Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry
1982 J jnl
Language Constructs for Real-Time Distributed Systems.
Comput. Lang.
Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato
1981 A* conf
An Algorithm to Support Code-Skeleton Generation for Concurrent Systems.
ICSE
Maria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin
1981 J jnl
Remarks on R. D. Tennent's Language Design Methods Based on Semantic Principles: Algol 68, A Language Designed Using Semantic Principles.
Acta Informatica
Daniel M. Berry
1980 J jnl
Toward Modular Verifiable Exception Handling.
Comput. Lang.
Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini
1979 J jnl
A semantic view of ALGOL 68.
Comput. Lang.
Richard L. Schwartz, Daniel M. Berry
1979 A* conf
The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology.
ICSE
Daniel M. Berry, Maria Heloisa (Lolo) Penedo
1979 J jnl
Type equivalence in strongly typed languages: one more look.
ACM SIGPLAN Notices
Daniel M. Berry, Richard L. Schwartz
1979 J jnl
United and Discriminated Record Types in Strongly Typed Languages.
Inf. Process. Lett.
Daniel M. Berry, Richard L. Schwartz
1978 J jnl
On the time required for reference count management in retention block-structured languages. Part 2.
Int. J. Parallel Program.
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
1978 J jnl
Time required for garbage collection in retention block-structured languages.
Int. J. Parallel Program.
Daniel M. Berry, Arthur Sorkin
1978 J jnl
Time required for reference count management in retention block-structured languages. Part 1.
Int. J. Parallel Program.
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
1977 — conf
Models of Hierarchical Machine Support.
Formal Description of Programming Concepts
Daniel M. Berry, Michael Erlinger, John B. Johnston, Arndt von Staa
1977 J jnl
Pointers and Data Abstractions in High Level Languages - I: Language Proposals.
Comput. Lang.
Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena
1977 J jnl
Pointers and Data Abstractions in High Level Languages - II: Correctness Proofs.
Comput. Lang.
Daniel M. Berry
1976 — conf
Correctness of Data Representations: Pointers in High Level Languages.
Conference on Data: Abstraction, Definition and Structure
Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena
1976 — conf
SIGPLAN(Tutorial Session).
ACM Annual Conference
Daniel M. Berry, John B. Johnston
1975 J jnl
Structured documentation.
ACM SIGPLAN Notices
Daniel M. Berry
1974 — conf
Towards a definition of structured programming.
ACM Annual Conference (2)
Carlos José Pereira de Lucena, Daniel M. Berry
1973 — conf
On the time required for retention.
HLLCA
Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin
1973 — conf
Towards ISMs for OPSs.
SIGPLAN-SIGOPS Interface Meeting
Daniel M. Berry
1972 — conf
The equivalence of models of tasking.
Proving Assertions About Programs
Daniel M. Berry
1971 A* conf
Block Structure: Retention or Deletion? (Extended Abstract)
STOC
Daniel M. Berry
1971 J jnl
Introduction to Oregano.
ACM SIGPLAN Notices
Daniel M. Berry
1970 J jnl
The importance of implementation models in ALGOL 68: or how to discover the concept of necessary environment.
ACM SIGPLAN Notices
Daniel M. Berry