The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniel M. Berry: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yoëlle S. Maarek, Daniel M. Berry, Gail E. Kaiser
    An Information Retrieval Approach For Automatically Constructing Software Libraries. [Citation Graph (5, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:8, pp:800-813 [Journal]
  2. Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry
    BASIS: A Behavioral Approach to the Specification of Information Systems. [Citation Graph (2, 0)][DBLP]
    Inf. Syst., 1983, v:8, n:1, pp:15-23 [Journal]
  3. Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato
    Language Constructs for Real-Time Distributed Systems. [Citation Graph (1, 0)][DBLP]
    Comput. Lang., 1982, v:7, n:1, pp:11-20 [Journal]
  4. Shaula Yemini, Daniel M. Berry
    A Modular Verifiable Exception-Handling Mechanism. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1985, v:7, n:2, pp:214-243 [Journal]
  5. Alon Ravid, Daniel M. Berry
    A Method for Extracting Requirements that a User Interface Prototype Contains. [Citation Graph (0, 0)][DBLP]
    HCI (1), 1999, pp:900-904 [Conf]
  6. Jair Jehuda, Gilad Koren, Daniel M. Berry
    A time-sharing architecture for complex real-time systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:9-16 [Conf]
  7. Daniel M. Berry, M. Weber
    A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:38-0 [Conf]
  8. Daniel M. Berry, Rick Kazman, Roel Wieringa
    Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:797-799 [Conf]
  9. Daniel M. Berry, Maria Heloisa (Lolo) Penedo
    The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:294-307 [Conf]
  10. Maria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin
    An Algorithm to Support Code-Skeleton Generation for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:125-135 [Conf]
  11. Daniel M. Berry, Erik Kamsties
    The Dangerous 'All' in Specifications. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:191-194 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:162-168 [Conf]
  13. Daniel M. Berry, Daniela Damian, Anthony Finkelstein, Don 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? [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:447- [Conf]
  14. Davor Svetinovic, Daniel M. Berry, Michael W. Godfrey
    Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:189-198 [Conf]
  15. Joel So, Daniel M. Berry
    Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:216-221 [Conf]
  16. Daniel M. Berry
    The Inevitable Pain of Software Development: Why There Is No Silver Bullet. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:50-74 [Conf]
  17. Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena
    Correctness of Data Representations: Pointers in High Level Languages. [Citation Graph (0, 0)][DBLP]
    Conference on Data: Abstraction, Definition and Structure, 1976, pp:115-119 [Conf]
  18. Isabel Ramos, Daniel M. Berry, João Alvaro Carvalho
    The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities. [Citation Graph (0, 0)][DBLP]
    Soft-Ware, 2002, pp:300-314 [Conf]
  19. Daniel M. Berry
    Block Structure: Retention or Deletion? (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    STOC, 1971, pp:86-100 [Conf]
  20. Christian Denger, Daniel M. Berry, Erik Kamsties
    Higher Quality Requirements Specifications through Natural Language Patterns. [Citation Graph (0, 0)][DBLP]
    SwSTE, 2003, pp:80-0 [Conf]
  21. Daniel M. Berry, Jeannette M. Wing
    Specification and Prototyping: Some Thoughts on Why They Are Successful. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:117-128 [Conf]
  22. 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?. [Citation Graph (0, 0)][DBLP]
    WER, 2005, pp:197-208 [Conf]
  23. Daniel M. Berry
    Requirements for Maintaining Web Access for Hearing-Impaired Individuals. [Citation Graph (0, 0)][DBLP]
    WSE, 2001, pp:33-41 [Conf]
  24. Daniel M. Berry
    Remarks on R. D. Tennent's Language Design Methods Based on Semantic Principles: Algol 68, A Language Designed Using Semantic Principles. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:15, n:, pp:83-98 [Journal]
  25. Daniel M. Berry
    A Denotational Semantics for Shared-Memory Parallelism and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:21, n:, pp:599-627 [Journal]
  26. Leah Goldin, Daniel M. Berry
    AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1997, v:4, n:4, pp:375-412 [Journal]
  27. Leah Goldin, Daniel M. Berry
    Reply to Commentaries. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1997, v:4, n:4, pp:417-418 [Journal]
  28. Avner Schwarz, Daniel M. Berry, Edna Shaviv
    Representing and solving the automated building design problem. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1994, v:26, n:9, pp:689-698 [Journal]
  29. Avner Schwarz, Daniel M. Berry, Edna Shaviv
    On the use of the automated building design system. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1994, v:26, n:10, pp:747-762 [Journal]
  30. Daniel M. Berry
    Pointers and Data Abstractions in High Level Languages - II: Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1977, v:2, n:14, pp:149-170 [Journal]
  31. Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena
    Pointers and Data Abstractions in High Level Languages - I: Language Proposals. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1977, v:2, n:14, pp:135-148 [Journal]
  32. Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini
    Toward Modular Verifiable Exception Handling. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1980, v:5, n:2, pp:77-101 [Journal]
  33. Shahrzade Mazaher, Daniel M. Berry
    Deriving a Compiler From an Operational Semantics Written in VDL. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1985, v:10, n:2, pp:147-164 [Journal]
  34. Richard L. Schwartz, Daniel M. Berry
    A semantic view of ALGOL 68. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1979, v:4, n:1, pp:1-15 [Journal]
  35. Daniel M. Berry
    Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  36. Zeev Becker, Daniel M. Berry
    TRIROFF, an Adaptation of the Device-Independent TROFF for Formatting Tri-directional Text. [Citation Graph (0, 0)][DBLP]
    Electronic Publishing, 1988, v:2, n:3, pp:119-142 [Journal]
  37. Uri Habusha, Daniel M. Berry
    Vi.iv, a Vi-directional Version of the Full-screen Editor. [Citation Graph (0, 0)][DBLP]
    Electronic Publishing, 1990, v:3, n:2, pp:65-91 [Journal]
  38. Johny Srouji, Daniel M. Berry
    Arabic Formatting with DITROFF/FFORTID. [Citation Graph (0, 0)][DBLP]
    Electronic Publishing, 1992, v:5, n:4, pp:163-208 [Journal]
  39. Isabel Ramos, Daniel M. Berry, João Alvaro Carvalho
    Requirements engineering for organizational transformation. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:7, pp:479-495 [Journal]
  40. Daniel M. Berry, Richard L. Schwartz
    United and Discriminated Record Types in Strongly Typed Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:1, pp:13-18 [Journal]
  41. Bijan Arbab, Daniel M. Berry
    Operational and Denotational Semantics of Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:4, pp:309-329 [Journal]
  42. Christine Aguilera, Daniel M. Berry
    The use of a repeated phrase finder in requirements extraction. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1990, v:13, n:3, pp:209-230 [Journal]
  43. Daniel M. Berry
    The importance of ignorance in requirements engineering: An earlier sighting and a revisitation. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:1, pp:83-85 [Journal]
  44. Daniel M. Berry
    The importance of ignorance in requirements engineering. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:28, n:2, pp:179-184 [Journal]
  45. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1987, v:7, n:3, pp:221-247 [Journal]
  46. Daniel M. Berry
    More requirements engineering adventures with building contractors. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:2, pp:142-146 [Journal]
  47. Daniel M. Berry
    Aybüke Aurum and Claes Wohlin (eds): Engineering and managing software requirements. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:2, pp:152-154 [Journal]
  48. Daniel M. Berry
    Software and House Requirements Engineering: Lessons Learned in Combating Requirements Creep - Viewpoint. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 1998, v:3, n:3/4, pp:242-244 [Journal]
  49. Daniel M. Berry, Khuzaima Daudjee, Jing Dong, Igor Fainchtein, Maria Augusta Nelson, Torsten Nelson, Lihua Ou
    User's manual as a requirements specification: case studies. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2004, v:9, n:1, pp:67-82 [Journal]
  50. Karin Koogan Breitman, Julio Cesar Sampaio do Prado Leite, Daniel M. Berry
    Supporting scenario evolution. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2005, v:10, n:2, pp:112-131 [Journal]
  51. Luisa Mich, Cinzia Anesi, Daniel M. Berry
    Applying a pragmatics-based creativity-fostering technique to requirements elicitation. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2005, v:10, n:4, pp:262-275 [Journal]
  52. Isabel Ramos, Daniel M. Berry
    Is emotion relevant to requirements engineering? [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2005, v:10, n:3, pp:238-242 [Journal]
  53. Alon Ravid, Daniel M. Berry
    A Method for Extracting and Stating Software Requirements that a User Interface Prototype Contains. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2000, v:5, n:4, pp:225-241 [Journal]
  54. Daniel M. Berry
    Formal methods: the very idea - Some thoughts about why they work when they work. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:11-27 [Journal]
  55. Daniel M. Berry
    A New Methodology for Generating Test Cases for a Programming Language Compiler. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1983, v:18, n:2, pp:46-56 [Journal]
  56. Daniel M. Berry, Erik Kamsties
    The Syntactically Dangerous All and Plural in Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2005, v:22, n:1, pp:55-57 [Journal]
  57. Daniel M. Berry, Brian Lawrence
    Guest Editors' Introduction: Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:2, pp:26-29 [Journal]
  58. Kris K. Abe, Daniel M. Berry
    indx and findphrases, A System for Generating Indexes for Ditroll Documents. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1989, v:19, n:1, pp:1-34 [Journal]
  59. Daniel M. Berry
    Stretching letter and slanted-baseline formatting for Arabic, Hebrew, and Persian with ditroff/ffortid and dynamic PostScript fonts. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1999, v:29, n:15, pp:1417-1457 [Journal]
  60. Daniel M. Berry
    Requirements for Maintaining Web Access for Hearing-Impaired Individuals. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2004, v:12, n:1, pp:9-28 [Journal]
  61. Cary Buchman, Daniel M. Berry, Jakob Gonczarowski
    DITROFF/FFORTID, An Adaptation of the UNIX DITROFF for Formatting Bidirectional Text. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst., 1985, v:3, n:4, pp:380-397 [Journal]
  62. Bijan Arbab, Daniel M. Berry
    Some Comments on ``A Denotational Semantics for Prolog''. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:605-606 [Journal]
  63. Shaula Yemini, Daniel M. Berry
    An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:3, pp:390-407 [Journal]
  64. Daniel M. Berry
    Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:2, pp:184-201 [Journal]
  65. Daniel M. Berry, Walter F. Tichy
    Comments on "Formal Methods Application: An Empirical Tale of Software Development". [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:567-571 [Journal]
  66. Kar-Wing Edward Lor, Daniel M. Berry
    Automatic Synthesis of SARA Design Models From System Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:12, pp:1229-1240 [Journal]
  67. Andrzej Sobczak, Daniel M. Berry
    Distributed priority ranking of strategic preliminary requirements for management information systems in economic organizations. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2007, v:49, n:9-10, pp:960-984 [Journal]

  68. Ethics Test Results Before and After Ethics Training: A Disturbing Experience. [Citation Graph (, )][DBLP]


  69. Requirements for Tools for Ambiguity Identification and Measurement in Natural Language Requirements Specifications. [Citation Graph (, )][DBLP]


  70. Requirements Engineering Lessons from House Building. [Citation Graph (, )][DBLP]


  71. Extended Disambiguation Rules for Requirements Specifications. [Citation Graph (, )][DBLP]


  72. Can Rules of Inferences Resolve Coordination Ambiguity in Natural Language Requirements Specification? [Citation Graph (, )][DBLP]


  73. Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation. [Citation Graph (, )][DBLP]


  74. Ambiguity in Natural Language Requirements Documents. [Citation Graph (, )][DBLP]


  75. Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.457secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002