{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:07Z","timestamp":1747627327523,"version":"3.40.5"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018902408324","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"63-100","source":"Crossref","is-referenced-by-count":10,"title":["Elements underlying the specification of requirements"],"prefix":"10.1007","volume":"3","author":[{"given":"Alan M.","family":"Davis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kathleen","family":"Jordan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsuyoshi","family":"Nakajima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Barroca, L. and J. McDermid (1993), \u201cSpecification of Real-Time Systems \u2014 A View-Oriented Approach,\u201d unknown.","key":"326143_CR1"},{"key":"326143_CR2","series-title":"Technical Report","volume-title":"Multiple Viewpoint Based Method for Requirements Engineering","author":"J. Berdon","year":"1994","unstructured":"Berdon, J. and A. Davis (1994), \u201cMultiple Viewpoint Based Method for Requirements Engineering,\u201d Technical Report UCCS-CSSE-TR-94-5, Center for Software Systems Engineering, University of Colorado, Colorado Springs, CO."},{"unstructured":"Brackett, J. (1991), private conversation with A. Davis, Pittsburgh, PA, October 3, 1991.","key":"326143_CR3"},{"key":"326143_CR4","volume-title":"Object-Oriented Analysis","author":"P. Coad","year":"1990","unstructured":"Coad, P. and E. Yourdon (1990), Object-Oriented Analysis, Prentice Hall, Englewood Cliffs, NJ."},{"issue":"4","key":"326143_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0164-1212(88)90013-1","volume":"8","author":"A. Davis","year":"1988","unstructured":"Davis, A. (1988a), \u201cA Taxonomy of the Early Stages of the Software Development Life Cycle,\u201d Journal of Systems and Software 8,4, 297\u2013311.","journal-title":"Journal of Systems and Software"},{"issue":"9","key":"326143_CR6","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1145\/48529.48534","volume":"31","author":"A. Davis","year":"1988","unstructured":"Davis, A. (1988b), \u201cA Comparison of Techniques for the Specification of External System Behavior,\u201d Communications of the ACM 31,9, 1098\u20131115.","journal-title":"Communications of the ACM"},{"key":"326143_CR7","volume-title":"Software Requirements: Objects, Functions and States","author":"A. Davis","year":"1993","unstructured":"Davis, A. (1993), Software Requirements: Objects, Functions and States, Prentice Hall, Englewood Cliffs, NJ."},{"key":"326143_CR8","first-page":"36","volume-title":"Proceedings of 24th Hawaii International Conference of Systems Sciences","author":"A. Davis","year":"1991","unstructured":"Davis, A. and K. Jordan (1991), \u201cSome Ideas for a Method-Independent Requirements Environment,\u201d In Proceedings of 24th Hawaii International Conference of Systems Sciences, IEEE Computer Society Press, Los Alamitos, CA, pp. 36\u201342."},{"key":"326143_CR9","series-title":"Technical Report","volume-title":"A Canonical Representation for Requirements","author":"A. Davis","year":"1993","unstructured":"Davis, A., K. Jordan, and T. Nakajima (1993), \u201cA Canonical Representation for Requirements,\u201d Technical Report EAS-CS-93-5, Department of Computer Science, University of Colorado, Colorado Springs, CO."},{"issue":"3","key":"326143_CR10","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0164-1212(92)90052-L","volume":"19","author":"H. Delugash","year":"1992","unstructured":"Delugash, H. (1992), \u201cSpecifying Multiple-Viewed Software Requirements with Conceptual Graphs,\u201d Journal of Systems and Software 19,3, 207\u2013224.","journal-title":"Journal of Systems and Software"},{"key":"326143_CR11","volume-title":"Structured Analysis and System Specification","author":"T. DeMarco","year":"1979","unstructured":"DeMarco, T. (1979), Structured Analysis and System Specification, Prentice Hall, Englewood Cliffs, NJ."},{"key":"326143_CR12","first-page":"65","volume-title":"Proceedings of International Symposium on Requirements Engineering","author":"S. Easterbrook","year":"1993","unstructured":"Easterbrook, S. (1993), \u201cDomain Modeling with Hierarchies of Alternative Viewpoints,\u201d In Proceedings of International Symposium on Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 65\u201372."},{"issue":"3","key":"326143_CR13","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/75200.75228","volume":"14","author":"A. Finkelstein","year":"1989","unstructured":"Finkelstein, A. and H. Fuks (1989), \u201cMulti-Party Specification,\u201d ACM Software Engineering Notes 14,3, 185\u2013195.","journal-title":"ACM Software Engineering Notes"},{"issue":"3","key":"326143_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D. (1987), \u201cStatecharts: A Visual Formalism for Complex Systems,\u201d Science of Computer Programming 8,3, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"326143_CR15","first-page":"6","volume-title":"Proceedings of AIAA\/IEEE 6th Digital Avionics Systems Conference","author":"D. Hatley","year":"1984","unstructured":"Hatley, D. (1984), \u201cThe Use of Structured Methods in the Development of Large Software-Based Avionics Systems,\u201d In Proceedings of AIAA\/IEEE 6th Digital Avionics Systems Conference, American Institute of Aeronautics and Astronautics, Reston, VA, pp. 6\u201315."},{"key":"326143_CR16","volume-title":"Strategies for Real-Time System Specification","author":"D. Hatley","year":"1987","unstructured":"Hatley, D. and I. Pirbhai (1987), Strategies for Real-Time System Specification, Dorset House, New York, NY."},{"key":"326143_CR17","volume-title":"Requirements Language Definition Generator for the TINA System","author":"D. Hibbitts-Kramer","year":"1997","unstructured":"Hibbitts-Kramer, D. (1997), \u201cRequirements Language Definition Generator for the TINA System,\u201d MS Project, Department of Computer Science, University of Colorado, Colorado Springs, CO."},{"key":"326143_CR18","volume-title":"Systems Development","author":"M. Jackson","year":"1983","unstructured":"Jackson, M. (1983), Systems Development, Prentice Hall, Englewood Cliffs, NJ."},{"issue":"9","key":"326143_CR19","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian, F. and A. Mok (1986), \u201cSafety Analysis of Timing Properties in Real-Time Systems,\u201d IEEE Transactions on Software Engineering 12,9, 890\u2013904.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326143_CR20","volume-title":"A Requirements Engineering Metamodel: Integrating Multiple Views of Requirements","author":"K. Jordan","year":"1991","unstructured":"Jordan, K. (1991), \u201cA Requirements Engineering Metamodel: Integrating Multiple Views of Requirements,\u201d MS Thesis, Department of Computer Science, George Mason University, Fairfax, VA."},{"key":"326143_CR21","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1109\/CMPSAC.1991.170224","volume-title":"Proceedings of Fifteenth IEEE International Conference on Computer Software and Applications","author":"K. Jordan","year":"1991","unstructured":"Jordan, K. and A. Davis (1991), \u201cAn Integrated View of Requirements,\u201d In Proceedings of Fifteenth IEEE International Conference on Computer Software and Applications, IEEE Computer Society Press, Los Alamitos, CA, pp. 472\u2013478."},{"issue":"3","key":"326143_CR22","first-page":"100","volume":"18","author":"D. Leffingwell","year":"1996","unstructured":"Leffingwell, D. and A. Davis (1996), \u201cRequirements Management in Medical Device Development,\u201d Medical Device and Diagnostic Industry Magazine 18,3, 100\u2013116.","journal-title":"Medical Device and Diagnostic Industry Magazine"},{"key":"326143_CR23","volume-title":"Real-Time: Theory in Practice","author":"O. Maler","year":"1991","unstructured":"Maler, O., Z. Manna, and J. Power (1991), \u201cFrom Timed to Hybrid,\u201d Real-Time: Theory in Practice, Springer, Berlin, Germany."},{"key":"326143_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z. and A. Pnueli (1992), The Temporal Logic of Reactive and Concurrent Systems, Springer, Berlin, Germany."},{"key":"326143_CR25","volume-title":"Essential Systems Analysis","author":"S. McMenamin","year":"1984","unstructured":"McMenamin, S. and J. Palmer (1984), Essential Systems Analysis, Prentice Hall, Englewood Cliffs, NJ."},{"issue":"4","key":"326143_CR26","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/356893.356898","volume":"14","author":"B. Moret","year":"1982","unstructured":"Moret, B. (1982), \u201cDecision Trees and Diagrams,\u201d ACM Computing Surveys 14,4, 543\u2013623.","journal-title":"ACM Computing Surveys"},{"key":"326143_CR27","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/ICSE.1993.346045","volume-title":"Proceedings of 15th IEEE International Conference on Software Engineering","author":"B. Nuseibeh","year":"1993","unstructured":"Nuseibeh, B., J. Kramer, and A. Finkelstein (1993), \u201cExpressing the Relationship Between Multiple Views in Requirements Specification,\u201d In Proceedings of 15th IEEE International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 187\u2013197."},{"key":"326143_CR28","volume-title":"Kammunikation mit Automaten, Schriften des Reinsch","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A. (1962), \u201cKammunikation mit Automaten, Schriften des Reinsch,\u201d West Falischen Inst. Instrumentelle math und der Universit\u00e4t Bonn, Bonn, West Germany."},{"issue":"3","key":"326143_CR29","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J. Peterson","year":"1977","unstructured":"Peterson, J. (1977), \u201cPetri Nets,\u201d ACM Computing Surveys 9,3, 223\u2013252.","journal-title":"ACM Computing Surveys"},{"key":"326143_CR30","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J. (1991), Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs, NJ."},{"issue":"3","key":"326143_CR31","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/62065.62069","volume":"32","author":"B. Sanden","year":"1989","unstructured":"Sanden, B. (1989), \u201cAn Entity-Life Modeling Approach to the Design of Concurrent Software,\u201d Communications of the ACM 32,3, 330\u2013343.","journal-title":"Communications of the ACM"},{"key":"326143_CR32","series-title":"Technical Report","volume-title":"An Editor for an Integrated Requirements Engineering Environment","author":"J. Soli","year":"1996","unstructured":"Soli, J. (1996), \u201cAn Editor for an Integrated Requirements Engineering Environment,\u201d Technical Report UCCS-CSSE-TR-96-4, MS Project, Department of Computer Science, University of Colorado, Colorado Springs, CO."},{"issue":"3","key":"326143_CR33","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/52.136166","volume":"9","author":"X. Song","year":"1992","unstructured":"Song, X. and L. Osterweil (1992), \u201cToward Objective, Systematic Design-Method Comparisons,\u201d IEEE Software 9,3, 43\u201353.","journal-title":"IEEE Software"},{"issue":"2","key":"326143_CR34","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"12","author":"P. Ward","year":"1986","unstructured":"Ward, P. (1986), \u201cThe Transformation Schema: An Extension of The Data Flow Diagram to Represent Control and Timing,\u201d IEEE Transactions on Software Engineering 12,2, 198\u2013210.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326143_CR35","volume-title":"Structured Development for Real-Time Systems","author":"P. Ward","year":"1985","unstructured":"Ward, P. and S. Mellor (1985), Structured Development for Real-Time Systems, Prentice Hall, Englewood Cliffs, NJ."},{"key":"326143_CR36","volume-title":"A Displayer for Multiple Requirements Views","author":"A. Zweig","year":"1997","unstructured":"Zweig, A. (1997), \u201cA Displayer for Multiple Requirements Views,\u201d MS Thesis, Department of Computer Science, University of Colorado, Colorado Springs, CO."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018902408324.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018902408324\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018902408324.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:15:07Z","timestamp":1747577707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018902408324"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326143"],"URL":"https:\/\/doi.org\/10.1023\/a:1018902408324","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}