Daniel M. Berry

Orcid: 0000-0002-6817-9081

According to our database1, Daniel M. Berry authored at least 141 papers between 1970 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
To group or not to group? Group sizes for requirements elicitation.
Inf. Softw. Technol., August, 2023

Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023

2022
Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence?
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2022

2021
How to benefit from newbies' domain ignorance in software development projects.
Sci. Comput. Program., 2021

Empirical evaluation of tools for hairy requirements engineering tasks.
Empir. Softw. Eng., 2021

An Ontology for Ploke: Rhetorical Figures of Lexical Repetitions.
Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

2020
The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?
Sci. Comput. Program., 2020

Requirements for Monitoring Inattention of the Responsible Human in an Autonomous Vehicle: The Recall and Precision Tradeoff.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

The Tenth Anniversary of the CreaRE Workshops: A Look Back and a Look Forward.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

2019
The inconsistency between theory and practice in managing inconsistency in requirements engineering.
Empir. Softw. Eng., 2019

Two Experiments Comparing Two Four-Step EPMcreate-Based Creativity Techniques for Requirements Elicitation.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Preface: Eighth International Workshop on Creativity in Requirements Engineering (CreaRE 2019).
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018
A case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users.
Sci. Comput. Program., 2018

Improving the identification of hedonic quality in user requirements: a second controlled experiment.
Requir. Eng., 2018

Keynote: Evaluation of NLP Tools for Hairy RE Tasks.
Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018

Creativity Techniques for Requirements Elicitation: Comparing Four-Step EPMcreate-Based Processes.
Proceedings of the 7th IEEE International Workshop on Empirical Requirements Engineering, 2018

2017
Group versus individual use of power-only EPMcreate as a creativity enhancement technique for requirements elicitation.
Empir. Softw. Eng., 2017

The impact of domain knowledge on the effectiveness of requirements engineering activities.
Empir. Softw. Eng., 2017

Downsizing EPMcreate to Lighter Creativity Techniques for Requirements Elicitation.
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Improving the Identification of Hedonic Quality in User Requirements - A Controlled Experiment.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Evaluation of Tools for Hairy Requirements and Software Engineering Tasks.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

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.
Proceedings of the Requirements Engineering for Internet of Things, 2017

2016
The Problem of the Lack of Benefit of a Document to Its Producer (PotLoBoaDtiP).
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff.
Proceedings of the ENASE 2016, 2016

Privacy Personas: Clustering Users via Attitudes and Behaviors toward Security Practices.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015
Reuse of requirements reduced time to market at one industrial shop: a case study.
Requir. Eng., 2015

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.
Proceedings of the 2014 IEEE International Conference on Software Science, 2014

Requirements Elicitation.
Proceedings of the Computing Handbook, 2014

2013
The essential similarity and differences between mathematical modeling and programming.
Sci. Comput. Program., 2013

Quantifying the impact of requirements definition and management process maturity on project outcome in large business application development.
Requir. Eng., 2013

The Design of SREE - A Prototype Potential Ambiguity Finder for Requirements Specifications and Lessons Learned.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

Requirement Ambiguity Not as Important as Expected - Results of an Empirical Evaluation.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

2012
The effectiveness of an optimized EPMcreate as a creativity enhancement technique for Web site requirements elicitation.
Requir. Eng., 2012

Introduction to the REFSQ 2011 special issue.
Requir. Eng., 2012

The Case for Dumb Requirements Engineering Tools.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

2011
Software requirements and design: the work of Michael Jackson by Bashar Nuseibeh and Pamela Zave.
ACM SIGSOFT Softw. Eng. Notes, 2011

Liability issues in software engineering: technical perspective.
Commun. ACM, 2011

Keynote requirements for maintaining web access for hearing-impaired individuals: A ten-year perspective.
Proceedings of the 13th IEEE International Symposium on Web Systems Evolution, 2011

Developers want requirements, but their project manager doesn't; and a possibly transcendent Hawthorne effect.
Proceedings of the First International Workshop on Empirical Requirements Engineering, 2011

2010
Ethics Test Results Before and After Ethics Training: A Disturbing Experience.
Proceedings of the IEEE International Conference on Software Science, 2010

Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Planned programming problem gotchas as lessons in requirements engineering.
Proceedings of the 5th International Workshop on Requirements Engineering Education and Training, 2010

Requirements Determination is Unstoppable: An Experience Report.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

2008
The Software Engineering Silver Bullet Conundrum.
IEEE Softw., 2008

Requirements for tools for ambiguity identification and measurement in natural language requirements specifications.
Requir. Eng., 2008

Can Rules of Inferences Resolve Coordination Ambiguity in Natural Language Requirements Specification?
Proceedings of the Anais do WER08, 2008

In requirements engineering, everything is an aspect.
Proceedings of the 13th international workshop on Early Aspects, 2008

2007
Unified use case statecharts: case studies.
Requir. Eng., 2007

Distributed priority ranking of strategic preliminary requirements for management information systems in economic organizations.
Inf. Softw. Technol., 2007

Extended Disambiguation Rules for Requirements Specifications.
Proceedings of the Anais do WER07, 2007

Requirements Engineering Lessons from House Building.
Proceedings of the Anais do WER07, 2007

Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Ambiguity in Natural Language Requirements Documents.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

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

Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Increasing quality of conceptual models: is object-oriented analysis that simple?
Proceedings of the 2006 International Workshop on Role of Abstraction in Software Engineering, 2006

2005
The Syntactically Dangerous All and Plural in Specifications.
IEEE Softw., 2005

Is emotion relevant to requirements engineering?
Requir. Eng., 2005

Applying a pragmatics-based creativity-fostering technique to requirements elicitation.
Requir. Eng., 2005

Supporting scenario evolution.
Requir. Eng., 2005

Social Construction of Information Technology Supporting Work.
J. Cases Inf. Technol., 2005

Requirements engineering for organizational transformation.
Inf. Softw. Technol., 2005

É possível substituir processos de Engenharia de Requisitos por Contagem de Pontos de Função?.
Proceedings of the Anais do WER05, 2005

Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it?
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

2004
Requirements for Maintaining Web Access for Hearing-Impaired Individuals.
Softw. Qual. J., 2004

Second International Workshop on From SofTware Requirements to Architectures (STRAW'03).
ACM SIGSOFT Softw. Eng. Notes, 2004

User's manual as a requirements specification: case studies.
Requir. Eng., 2004

2003
Comments on "Formal Methods Application: An Empirical Tale of Software Development".
IEEE Trans. Software Eng., 2003

More requirements engineering adventures with building contractors.
Requir. Eng., 2003

Higher Quality Requirements Specifications through Natural Language Patterns.
Proceedings of the 2003 IEEE International Conference on Software, 2003

Formal Structure for Specifying the Content and Quality of the Electronic Health Record.
Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

2002
The importance of ignorance in requirements engineering: An earlier sighting and a revisitation.
J. Syst. Softw., 2002

The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities.
Proceedings of the Soft-Ware 2002: Computing in an Imperfect World, 2002

The Inevitable Pain of Software Development: Why There Is No Silver Bullet.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2000
A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains.
Requir. Eng., 2000

The Dangerous 'All' in Specifications.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

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

A Method for Extracting Requirements that a User Interface Prototype Contains.
Proceedings of the Human-Computer Interaction: Ergonomics and User Interfaces, 1999

1998
Guest Editors' Introduction: Requirements Engineering.
IEEE Softw., 1998

Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep - Viewpoint.
Requir. Eng., 1998

Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work.
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

The Safety Requirements Engineering Dilemma.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1997
Reply to Commentaries.
Autom. Softw. Eng., 1997

AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation.
Autom. Softw. Eng., 1997

A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995
The importance of ignorance in requirements engineering.
J. Syst. Softw., 1995

The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements Engineering.
Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995

A time-sharing architecture for complex real-time systems.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994
Some Comments on "A Denotational Semantics for Prolog".
ACM Trans. Program. Lang. Syst., 1994

On the use of the automated building design system.
Comput. Aided Des., 1994

Representing and solving the automated building design problem.
Comput. Aided Des., 1994

AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation.
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

1992
Arabic Formatting with DITROFF/FFORTID.
Electron. Publ., 1992

1991
An Information Retrieval Approach For Automatically Constructing Software Libraries.
IEEE Trans. Software Eng., 1991

Automatic Synthesis of SARA Design Models From System Requirements.
IEEE Trans. Software Eng., 1991

1990
The use of a repeated phrase finder in requirements extraction.
J. Syst. Softw., 1990

Vi.iv, a Vi-directional Version of the Full-screen Editor.
Electron. Publ., 1990

1989
indx and findphrases, A System for Generating Indexes for Ditroll Documents.
Softw. Pract. Exp., 1989

The use of lexical affinities in requirements extraction.
Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988
TRIROFF, an Adaptation of the Device-Independent TROFF for Formatting Tri-directional Text.
Electron. Publ., 1988

1987
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language.
IEEE Trans. Software Eng., 1987

An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language.
ACM Trans. Program. Lang. Syst., 1987

Application of program design language tools to abbott's method of program design by informal natural language descriptions.
J. Syst. Softw., 1987

Operational and Denotational Semantics of Prolog.
J. Log. Program., 1987

1985
A Modular Verifiable Exception-Handling Mechanism.
ACM Trans. Program. Lang. Syst., 1985

DITROFF/FFORTID, An Adaptation of the UNIX DITROFF for Formatting Bidirectional Text.
ACM Trans. Inf. Syst., 1985

An Ina Jo® proof manager for the formal development method.
ACM SIGSOFT Softw. Eng. Notes, 1985

Deriving a Compiler From an Operational Semantics Written in VDL.
Comput. Lang., 1985

A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism.
Acta Informatica, 1985

Specification and Prototyping: Some Thoughts on Why They Are Successful.
Proceedings of the Mathematical Foundations of Software Development, 1985

1983
A New Methodology for Generating Test Cases for a Programming Language Compiler.
ACM SIGPLAN Notices, 1983

BASIS: A Behavioral Approach to the Specification of Information Systems.
Inf. Syst., 1983

1982
Language Constructs for Real-Time Distributed Systems.
Comput. Lang., 1982

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

An Algorithm to Support Code-Skeleton Generation for Concurrent Systems.
Proceedings of the 5th International Conference on Software Engineering, 1981

1980
Toward Modular Verifiable Exception Handling.
Comput. Lang., 1980

1979
Type equivalence in strongly typed languages: one more look.
ACM SIGPLAN Notices, 1979

United and Discriminated Record Types in Strongly Typed Languages.
Inf. Process. Lett., 1979

A semantic view of ALGOL 68.
Comput. Lang., 1979

The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
Time required for garbage collection in retention block-structured languages.
Int. J. Parallel Program., 1978

On the time required for reference count management in retention block-structured languages. Part 2.
Int. J. Parallel Program., 1978

Time required for reference count management in retention block-structured languages. Part 1.
Int. J. Parallel Program., 1978

1977
Pointers and Data Abstractions in High Level Languages - I: Language Proposals.
Comput. Lang., 1977

Pointers and Data Abstractions in High Level Languages - II: Correctness Proofs.
Comput. Lang., 1977

Models of Hierarchical Machine Support.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976
Correctness of Data Representations: Pointers in High Level Languages.
Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

SIGPLAN(Tutorial Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975
Structured documentation.
ACM SIGPLAN Notices, 1975

1974
Towards a definition of structured programming.
Proceedings of the 1974 ACM Annual Conference, 1974

1973
Towards ISMs for OPSs.
Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

On the time required for retention.
Proceedings of the ACM-IEEE Symposium on High-Level-Language Computer Architecture, 1973

1972
The equivalence of models of tasking.
Proceedings of ACM Conference on Proving Assertions About Programs, 1972

1971
Introduction to Oregano.
ACM SIGPLAN Notices, 1971

Block Structure: Retention or Deletion? (Extended Abstract)
Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, 1971

1970
The importance of implementation models in ALGOL 68: or how to discover the concept of necessary environment.
ACM SIGPLAN Notices, 1970


  Loading...