{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:31:20Z","timestamp":1738387880047,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_7","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"97-112","source":"Crossref","is-referenced-by-count":2,"title":["Requirements Modeling and Validation Using Bi-layer Use Case Descriptions"],"prefix":"10.1007","author":[{"given":"Avik","family":"Sinha","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Kaplan","sequence":"additional","affiliation":[]},{"given":"Amit","family":"Paradkar","sequence":"additional","affiliation":[]},{"given":"Clay","family":"Williams","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Carroll, J.M.: Five reasons for scenario-based design. In: HICSS (1999)","DOI":"10.1109\/HICSS.1999.772890"},{"key":"7_CR2","first-page":"32","volume-title":"Modeling the Dynamic Behavior of Systems, Mechanisms and Classes with Scenarios","author":"D.G. Firesmith","year":"1994","unstructured":"Firesmith, D.G.: Modeling the Dynamic Behavior of Systems, Mechanisms and Classes with Scenarios, pp. 32\u201336. SIGS Publication, New York (1994)"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/52.268953","volume":"11","author":"P. Hsia","year":"1994","unstructured":"Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal approach to scenario analysis. IEEE Softw.\u00a011(2), 33\u201341 (1994)","journal-title":"IEEE Softw."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/38765.38824","volume-title":"SLA 1987: Conference proceedings on Object-oriented programming systems, lan- guages and applications","author":"I. Jacobson","year":"1987","unstructured":"Jacobson, I.: Object-oriented development in an industrial environment. In: OOPSLA 1987: Conference proceedings on Object-oriented programming systems, languages and applications, pp. 183\u2013191. ACM Press, New York (1987)"},{"key":"7_CR5","volume-title":"Use case driven object modeling with UML: a practical approach","author":"D. Rosenberg","year":"1999","unstructured":"Rosenberg, D., Scott, K.: Use case driven object modeling with UML: a practical approach. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"},{"issue":"9","key":"7_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/130994.130996","volume":"35","author":"K.S. Rubin","year":"1992","unstructured":"Rubin, K.S., Goldberg, A.: Object behavior analysis. Commun. ACM\u00a035(9), 48\u201362 (1992)","journal-title":"Commun. ACM"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.268952","volume":"11","author":"C. Potts","year":"1994","unstructured":"Potts, C., Takahashi, K., Anton, A.: Inquiry-based requirements analysis. IEEE Software\u00a011(2), 21\u201332 (1994)","journal-title":"IEEE Software"},{"key":"7_CR8","unstructured":"Blain, T.: Use case series: Formal use case, http:\/\/tynerblain.wordpress.com\/2005\/12\/19\/use-case-series-formal-use-case\/"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Regnell, B., Kimbler, K., Wesslen, A.: Improving the use case driven approach to requirements engineering. re 00, 40 (1995)","DOI":"10.1109\/ISRE.1995.512544"},{"key":"7_CR10","unstructured":"K\u00f6sters, G., Pagel, B.U., Winter, M.: Coupling use cases and class models. In: BCS FACS\/EROS Workshop on Making Object-oriented Methods more Rigorous (1997)"},{"issue":"12","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1109\/32.738342","volume":"24","author":"W.J. Lee","year":"1998","unstructured":"Lee, W.J., Cha, S.D., Kwon, Y.R.: Integration and analysis of use cases using mod- ular petri nets in requirements engineering. Software Engineering\u00a024(12), 1115\u20131130 (1998)","journal-title":"Software Engineering"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Moreira, A., Jo a.A.: Generating object-z specications from use cases, pp. 43\u201350 (2000)","DOI":"10.1007\/978-94-015-9518-6_3"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conicting functional re- quirements in a use case-driven approach: a static analysis technique based on graph transformation. In: ICSE, pp. 105\u2013115 (2002)","DOI":"10.1145\/581339.581355"},{"key":"7_CR14","first-page":"203","volume-title":"Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems","author":"F. Bures","year":"2004","unstructured":"Bures, F., Rysav, O.: Formal abstract architecture for use case specications. In: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 203\u2013211. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MS.2004.1270759","volume":"21","author":"J.B. Jorgensen","year":"2004","unstructured":"Jorgensen, J.B., Bossen, C.: Executable use cases: Requirements for a pervasive health care system. IEEE Softw.\u00a021(2), 34\u201341 (2004)","journal-title":"IEEE Softw."},{"key":"7_CR16","first-page":"411","volume-title":"ICECCS 2005: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005)","author":"X. Li","year":"2005","unstructured":"Li, X., Liu, Z., He, J.: Consistency checking of uml requirements. In: ICECCS 2005: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), Wasshington, DC, USA, pp. 411\u2013420. IEEE Computer Society, Los Alamitos (2005)"},{"key":"7_CR17","first-page":"16","volume-title":"Proc. of the 14th IEEE International Requirements Engineering Conference (RE 2006)","author":"J. Whittle","year":"2006","unstructured":"Whittle, J., Jayaraman, P.K.: Generating hierarchical state machines from use case charts. In: Proc. of the 14th IEEE International Requirements Engineering Conference (RE 2006), Washington, DC, USA, pp. 16\u201325. IEEE, Los Alamitos (2006)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Glinz, M.: A lightweight approach to consistency of scenarios and class models. In: ICRE, pp. 49\u201358 (2000)","DOI":"10.1109\/ICRE.2000.855584"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Sinha, A., Paradkar, A., Williams, C.: On generating efsm models from use cases. In: SCESM 2007: Proceedings of Sixth InternationalWorkshop on Scenario and State Machines, pp. 1\u20139 (2007)","DOI":"10.1109\/SCESM.2007.3"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/ISSRE.2003.1251030","volume-title":"ISSRE 2003: Proceedings of the 14th International Symposium on Software Reliability Engineering","author":"J.H. Hayes","year":"2003","unstructured":"Hayes, J.H.: Building a requirement fault taxonomy: Experiences from a nasa verication and validation research project. In: ISSRE 2003: Proceedings of the 14th International Symposium on Software Reliability Engineering, Washington,DC, USA, p. 49. IEEE Computer Society, Los Alamitos (2003)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Miller, L., Mirsky, S., Hayes, J.H.: Guidelines for the verication and validation of expert system software and conventional software. Technical Report NUREG\/CR- 6316, U.S. Nuclear Regulatory Commission and Electric Power Research Institute (March 1995)","DOI":"10.2172\/42510"},{"issue":"12","key":"7_CR22","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1109\/32.738343","volume":"24","author":"R.J.A. Buhr","year":"1998","unstructured":"Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Trans. Softw. Eng.\u00a024(12), 1131\u20131155 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR23","first-page":"256","volume-title":"ICSM","author":"L.C. Briand","year":"2003","unstructured":"Briand, L.C., Labiche, Y., O\u2019Sullivan, L.: Impact analysis and change management of uml models. In: ICSM, Washington, DC, USA, p. 256. IEEE Computer Society, Los Alamitos (2003)"},{"key":"7_CR24","first-page":"292","volume-title":"ICSE 2007: Proceedings of the 29th International Conference on Software Engineering","author":"A. Egyed","year":"2007","unstructured":"Egyed, A.: Fixing inconsistencies in uml design models. In: ICSE 2007: Proceedings of the 29th International Conference on Software Engineering, Washington, DC,USA, pp. 292\u2013301. IEEE Computer Society, Los Alamitos (2007)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:20:18Z","timestamp":1738372818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}