Daniel M. Berry

According to our database1, Daniel M. Berry
  • authored at least 113 papers between 1971 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Group versus individual use of power-only EPMcreate as a creativity enhancement technique for requirements elicitation.
Empirical Software Engineering, 2017

The impact of domain knowledge on the effectiveness of requirements engineering activities.
Empirical Software Engineering, 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

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 Software Engineering 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 Software, 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

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

Distributed priority ranking of strategic preliminary requirements for management information systems in economic organizations.
Information & Software Technology, 2007

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

Requirements for Tools for Ambiguity Identification and Measurement in Natural Language 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

2005
The Syntactically Dangerous All and Plural in Specifications.
IEEE Software, 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 on Inf. Techn., 2005

Requirements engineering for organizational transformation.
Information & Software Technology, 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.
Software Quality Journal, 2004

Second International Workshop on From SofTware Requirements to Architectures (STRAW'03).
ACM SIGSOFT Software Engineering 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

Second International Workshop on From SofTware Requirements to Architectures (STRAW?03).
Proceedings of the 25th International Conference on Software Engineering, 2003

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

The importance of ignorance in requirements engineering: An earlier sighting and a revisitation.
Journal of Systems and Software, 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

2001
Requirements for Maintaining Web Access for Hearing-Impaired Individuals.
Proceedings of the 3rd International Workshop on Web Site Evolution (WSE 2001), 2001

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. Exper., 1999

Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work.
Electr. Notes Theor. Comput. Sci., 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 Software, 1998

Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep - Viewpoint.
Requir. Eng., 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.
Journal of Systems and Software, 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.
Computer-Aided Design, 1994

Representing and solving the automated building design problem.
Computer-Aided Design, 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.
Electronic Publishing, 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.
Journal of Systems and Software, 1990

Vi.iv, a Vi-directional Version of the Full-screen Editor.
Electronic Publishing, 1990

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

1988
TRIROFF, an Adaptation of the Device-Independent TROFF for Formatting Tri-directional Text.
Electronic Publishing, 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.
Journal of Systems and Software, 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

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

A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism.
Acta Inf., 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.
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 Inf., 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
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.
International Journal of Parallel Programming, 1978

On the time required for reference count management in retention block-structured languages. Part 2.
International Journal of Parallel Programming, 1978

Time required for reference count management in retention block-structured languages. Part 1.
International Journal of Parallel Programming, 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

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

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

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

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


  Loading...