{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:41:16Z","timestamp":1725471676228},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540465379"},{"type":"electronic","value":"9783540465393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11893004_37","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T15:15:52Z","timestamp":1160406952000},"page":"289-295","source":"Crossref","is-referenced-by-count":0,"title":["A Method for Development of Adequate Requirement Specification in the Plant Control Software Domain"],"prefix":"10.1007","author":[{"given":"Masakazu","family":"Takahashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshinori","family":"Fukue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoru","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takashi","family":"Kawasaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"37_CR1","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1109\/TSE.2005.131","volume":"31","author":"V. Braberman","year":"2005","unstructured":"Braberman, V., Kicillof, N., Olivero, A.: TA Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Transactions on Software Engineering\u00a031(12), 1028\u20131041 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"37_CR2","volume-title":"Structured Analysis and System Specification","author":"T. Demarco","year":"1979","unstructured":"Demarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood Cliffs (1979)"},{"key":"37_CR3","volume-title":"Real-Time UML: Developing Efficient Objects for Embedded Systems","author":"B. Douglass","year":"2000","unstructured":"Douglass, B.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-Wesley Longman, Amsterdam (2000)","edition":"2"},{"key":"37_CR4","volume-title":"Strategies for Real-Time System Specification","author":"D. Hatley","year":"1988","unstructured":"Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. Dorset House Publising, New York (1988)"},{"issue":"4","key":"37_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.infsof.2004.08.009","volume":"47","author":"J. Kabeli","year":"2005","unstructured":"Kabeli, J., Shoval, P.: Comprehension and quality of analysis specifications - a comparison of FOOM and OPM methodologies. Information and Software Technology\u00a047(4), 271\u2013290 (2005)","journal-title":"Information and Software Technology"},{"issue":"7","key":"37_CR6","first-page":"1402","volume":"35","author":"H. Kobayashi","year":"1994","unstructured":"Kobayashi, H., Kawata, Y., Maekawa, M., Kawasaki, A., Yabu, A., Onogawa, K.: Modeling External Objects of Process Control Systems in Executable Specifications. Journal of Information Processing Society of Japan\u00a035(7), 1402\u20131409 (1994)","journal-title":"Journal of Information Processing Society of Japan"},{"key":"37_CR7","volume-title":"Object-Oriented Software Engineering - A Use Case Driven Approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I.: Object-Oriented Software Engineering - A Use Case Driven Approach. ACM Press, New York (1992)"},{"key":"37_CR8","volume-title":"Rapid Application Development","author":"J. Martin","year":"1991","unstructured":"Martin, J.: Rapid Application Development. Macmillian Publishing Company, NYC (1991)"},{"issue":"2","key":"37_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering\u00a029(2), 99\u2013115 (2003)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11893004_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:53:46Z","timestamp":1605624826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11893004_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540465379","9783540465393"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11893004_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}