| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel M. Berry, Xavier Franch |
Introduction to the REFSQ 2011 special issue.  |
Requir. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Ricardo Gacitua, Pete Sawyer, Sri Fatimah Tjong |
The Case for Dumb Requirements Engineering Tools. |
REFSQ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Liability issues in software engineering: technical perspective. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Software requirements and design: the work of Michael Jackson by Bashar Nuseibeh and Pamela Zave. |
ACM SIGSOFT Software Engineering Notes |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Keynote requirements for maintaining web access for hearing-impaired individuals: A ten-year perspective. |
WSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Xavier Franch (eds.) |
Requirements Engineering: Foundation for Software Quality - 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings |
REFSQ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Krzysztof Czarnecki, Michal Antkiewicz, Mohamed AbdelRazik |
Requirements Determination is Unstoppable: An Experience Report. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Victoria Sakhnini, Daniel M. Berry, Luisa Mich |
Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation. |
REFSQ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Brian Berenbach |
Ethics Test Results Before and After Ethics Training: A Disturbing Experience. |
SwSTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
The Software Engineering Silver Bullet Conundrum. |
IEEE Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel M. Berry |
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications. |
Requir. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Ambiguity identification, Natural langugage, Requirements-identification experiments, Requirements-identification prototype, Requirements specification tools, Natural language processing, Disambiguation, Prototype tools |
| 1 | Sri Fatimah Tjong, Daniel M. Berry |
Can Rules of Inferences Resolve Coordination Ambiguity in Natural Language Requirements Specification? |
WER |
2008 |
DBLP BibTeX RDF |
|
| 1 | Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey |
Unified use case statecharts: case studies. |
Requir. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Sobczak, Daniel M. Berry |
Distributed priority ranking of strategic preliminary requirements for management information systems in economic organizations. |
Information & Software Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sri Fatimah Tjong, Michael Hartley, Daniel M. Berry |
Extended Disambiguation Rules for Requirements Specifications. |
WER |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry |
Requirements Engineering Lessons from House Building. |
WER |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel M. Berry |
Requirements for Tools for Ambiguity Identification and Measurement in Natural Language Requirements Specifications. |
WER |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel Popescu, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry |
Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Ambiguity in Natural Language Requirements Documents. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Aybüke Aurum and Claes Wohlin (eds): Engineering and managing software requirements. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel So, Daniel M. Berry |
Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Erik Kamsties |
The Syntactically Dangerous All and Plural in Specifications. |
IEEE Software |
2005 |
DBLP DOI BibTeX RDF |
semantics, natural language, requirements specification, syntax |
| 1 | Isabel Ramos, Daniel M. Berry |
Social Construction of Information Technology Supporting Work. |
J. Cases on Inf. Techn. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luisa Mich, Cinzia Anesi, Daniel M. Berry |
Applying a pragmatics-based creativity-fostering technique to requirements elicitation. |
Requir. Eng. |
2005 |
DBLP DOI BibTeX RDF |
Exploratory experiment, Pragmatics of communication, Problem solving, Viewpoint |
| 1 | Karin Koogan Breitman, Julio Cesar Sampaio do Prado Leite, Daniel M. Berry |
Supporting scenario evolution. |
Requir. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Ramos, Daniel M. Berry |
Is emotion relevant to requirements engineering? |
Requir. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Ramos, Daniel M. Berry, João Alvaro Carvalho |
Requirements engineering for organizational transformation. |
Information & Software Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Daniela Damian, Anthony Finkelstein, Donald C. Gause, Robert Hall, Alan Wassyng |
To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Davor Svetinovic, Daniel M. Berry, Michael W. Godfrey |
Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Hazan, Daniel M. Berry, Julio Cesar Sampaio do Prado Leite |
É possível substituir processos de Engenharia de Requisitos por Contagem de Pontos de Função?. |
WER |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry, Khuzaima Daudjee, Jing Dong, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou |
User's manual as a requirements specification: case studies. |
Requir. Eng. |
2004 |
DBLP DOI BibTeX RDF |
Users manual, Scenarios, Requirements specification, Requirements elicitation, Test cases, Requirements validation |
| 1 | Daniel M. Berry, Rick Kazman, Roel Wieringa |
Second International Workshop on From SofTware Requirements to Architectures (STRAW'03). |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Requirements for Maintaining Web Access for Hearing-Impaired Individuals. |
Software Quality Journal |
2004 |
DBLP DOI BibTeX RDF |
lipreading, lipsynching, sight impaired, textual and graphical interfaces, TTY, video telephone, voice and audio interfaces, voice synthesis, access, e-mail, TV, talking head, movies, hearing impaired, telephone, closed captioning, fax |
| 1 | Daniel M. Berry, Walter F. Tichy |
Comments on "Formal Methods Application: An Empirical Tale of Software Development". |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
More requirements engineering adventures with building contractors. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Dominic Covvey, David Zitner, Daniel M. Berry, Donald D. Cowan, Michael A. Shepherd |
Formal Structure for Specifying the Content and Quality of the Electronic Health Record. |
RE |
2003 |
DBLP DOI BibTeX RDF |
Electronic Data Record, type system, requirements specification, requirements elicitation |
| 1 | Daniel M. Berry, Rick Kazman, Roel Wieringa |
Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Denger, Daniel M. Berry, Erik Kamsties |
Higher Quality Requirements Specifications through Natural Language Patterns. |
SwSTE |
2003 |
DBLP DOI BibTeX RDF |
embedded systems, authoring, patterns, quality, metamodel, natural language, completeness, accuracy, requirements specification, ambiguity, rewriting, precision |
| 1 | Daniel M. Berry |
Formal methods: the very idea - Some thoughts about why they work when they work. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
The importance of ignorance in requirements engineering: An earlier sighting and a revisitation. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Ramos, Daniel M. Berry, João Alvaro Carvalho |
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities. |
Soft-Ware |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
The Inevitable Pain of Software Development: Why There Is No Silver Bullet. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Requirements for Maintaining Web Access for Hearing-Impaired Individuals. |
WSE |
2001 |
DBLP DOI BibTeX RDF |
lipreading, lipsynching, sight impaired, textual and graphical interfaces, TTY, voice and audio interfaces, voice synthesis, Access, e-mail, TV, talking head, movies, hearing impaired, telephone, closed captioning, video phone, fax |
| 1 | Alon Ravid, Daniel M. Berry |
A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains. |
Requir. Eng. |
2000 |
DBLP DOI BibTeX RDF |
Requirements extraction, Requirements prototyping, Case study, Requirements elicitation, Requirements tracing, User interface prototyping |
| 1 | Daniel M. Berry, Erik Kamsties |
The Dangerous 'All' in Specifications. |
IWSSD |
2000 |
DBLP BibTeX RDF |
universal quantifier, indicative sentence, optative sentence, dangerous, true, false |
| 1 | Daniel M. Berry |
Stretching letter and slanted-baseline formatting for Arabic, Hebrew, and Persian with ditroff/ffortid and dynamic PostScript fonts. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alon Ravid, Daniel M. Berry |
A Method for Extracting Requirements that a User Interface Prototype Contains. |
HCI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry, Brian Lawrence |
Guest Editors' Introduction: Requirements Engineering. |
IEEE Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep - Viewpoint. |
Requir. Eng. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Goldin, Daniel M. Berry |
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation. |
Autom. Softw. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Goldin, Daniel M. Berry |
Reply to Commentaries. |
Autom. Softw. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, M. Weber |
A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry |
The importance of ignorance in requirements engineering. |
Journal of Systems and Software |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jair Jehuda, Gilad Koren, Daniel M. Berry |
A time-sharing architecture for complex real-time systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
time-sharing systems, time-sharing architecture, dynamic multiple job systems, shared-memory multi-processor platforms, multiple states, near-optimal mode selection, reliable real-time time-sharing, job-oriented strategy, best-effort system values, dynamic critical task sets, complex task characteristics, real-time systems, resource allocation, shared memory systems, processor scheduling, portability, dynamic load-balancing, complex real-time systems, divide-and-conquer approach |
| 1 | Bijan Arbab, Daniel M. Berry |
Some Comments on ``A Denotational Semantics for Prolog''. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
logic programming, operational semantics, denotational semantics |
| 1 | Avner Schwarz, Daniel M. Berry, Edna Shaviv |
Representing and solving the automated building design problem. |
Computer-Aided Design |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Avner Schwarz, Daniel M. Berry, Edna Shaviv |
On the use of the automated building design system. |
Computer-Aided Design |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Johny Srouji, Daniel M. Berry |
Arabic Formatting with DITROFF/FFORTID. |
Electronic Publishing |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kar-Wing Edward Lor, Daniel M. Berry |
Automatic Synthesis of SARA Design Models From System Requirements. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
software design automation, SARA design models, requirement analyst, system verification diagrams, System Architect's Apprentice, SVD requirement specification, knowledge-based tool, software tools, knowledge-based system, knowledge based systems, software, systems analysis, hardware, diagrams, computer aided software engineering, functional requirements, data flow diagrams, design languages, design assistant |
| 1 | Yoëlle S. Maarek, Daniel M. Berry, Gail E. Kaiser |
An Information Retrieval Approach For Automatically Constructing Software Libraries. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
information retrieval approach, large software libraries, natural language documentation, indexing scheme, lexical affinities, free-text indexing scheme, free-style natural language queries, software reuse, natural languages, browsing, software reusability, automatic programming, attributes, subroutines, information retrieval systems, clustering technique |
| 1 | Uri Habusha, Daniel M. Berry |
Vi.iv, a Vi-directional Version of the Full-screen Editor. |
Electronic Publishing |
1990 |
DBLP BibTeX RDF |
|
| 1 | Christine Aguilera, Daniel M. Berry |
The use of a repeated phrase finder in requirements extraction. |
Journal of Systems and Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Kris K. Abe, Daniel M. Berry |
indx and findphrases, A System for Generating Indexes for Ditroll Documents. |
Softw., Pract. Exper. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeev Becker, Daniel M. Berry |
TRIROFF, an Adaptation of the Device-Independent TROFF for Formatting Tri-directional Text. |
Electronic Publishing |
1988 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry |
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijan Arbab, Daniel M. Berry |
Operational and Denotational Semantics of Prolog. |
J. Log. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Nancy Yavne, Moshe Yavne |
Application of program design language tools to abbott's method of program design by informal natural language descriptions. |
Journal of Systems and Software |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaula Yemini, Daniel M. Berry |
An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
ALGOL-68 |
| 1 | Daniel M. Berry |
A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism. |
Acta Inf. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaula Yemini, Daniel M. Berry |
A Modular Verifiable Exception-Handling Mechanism. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
ALGOL-68 |
| 1 | Cary Buchman, Daniel M. Berry, Jakob Gonczarowski |
DITROFF/FFORTID, An Adaptation of the UNIX DITROFF for Formatting Bidirectional Text. |
ACM Trans. Inf. Syst. |
1985 |
DBLP DOI BibTeX RDF |
DITROFF |
| 1 | Shahrzade Mazaher, Daniel M. Berry |
Deriving a Compiler From an Operational Semantics Written in VDL. |
Comput. Lang. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Jeannette M. Wing |
Specification and Prototyping: Some Thoughts on Why They Are Successful. |
TAPSOFT, Vol.2 |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
A New Methodology for Generating Test Cases for a Programming Language Compiler. |
SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry |
BASIS: A Behavioral Approach to the Specification of Information Systems. |
Inf. Syst. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato |
Language Constructs for Real-Time Distributed Systems. |
Comput. Lang. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Remarks on R. D. Tennent's Language Design Methods Based on Semantic Principles: Algol 68, A Language Designed Using Semantic Principles. |
Acta Inf. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin |
An Algorithm to Support Code-Skeleton Generation for Concurrent Systems. |
ICSE |
1981 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini |
Toward Modular Verifiable Exception Handling. |
Comput. Lang. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Richard L. Schwartz |
United and Discriminated Record Types in Strongly Typed Languages. |
Inf. Process. Lett. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard L. Schwartz, Daniel M. Berry |
A semantic view of ALGOL 68. |
Comput. Lang. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Maria Heloisa (Lolo) Penedo |
The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. |
ICSE |
1979 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry, Arthur Sorkin |
Time required for garbage collection in retention block-structured languages. |
International Journal of Parallel Programming |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin |
On the time required for reference count management in retention block-structured languages. Part 2. |
International Journal of Parallel Programming |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Laurian M. Chirica, John B. Johnston, David F. Martin, Arthur Sorkin |
Time required for reference count management in retention block-structured languages. Part 1. |
International Journal of Parallel Programming |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry |
Pointers and Data Abstractions in High Level Languages - II: Correctness Proofs. |
Comput. Lang. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena |
Pointers and Data Abstractions in High Level Languages - I: Language Proposals. |
Comput. Lang. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena |
Correctness of Data Representations: Pointers in High Level Languages. |
Conference on Data: Abstraction, Definition and Structure |
1976 |
DBLP BibTeX RDF |
|
| 1 | Daniel M. Berry |
Block Structure: Retention or Deletion? (Extended Abstract) |
STOC |
1971 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")