{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:34:29Z","timestamp":1742988869871,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07602-7_22","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"369-383","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model for Service-Based Behavior Specification Using Stream-Based I\/O Tables"],"prefix":"10.1007","author":[{"given":"Xiuna","family":"Zhu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"key":"22_CR1","unstructured":"Broy, M.: Pragmatic and formal specification of system properties by tables. TUM-I9802 (1998)"},{"key":"22_CR2","unstructured":"Lawford, M., Froebel, P., Moum, G.: Application of tabular methods to the specification and verification of a nuclear reactor shutdown system. Formal Methods Syst. Des."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bourguiba, I., Janicki, R.: Table-based specification techniques. ICCIE 2009, pp. 1520\u20131525 (2009)","DOI":"10.1109\/ICCIE.2009.5223955"},{"key":"22_CR4","first-page":"650","volume":"6","author":"C Heitmeyer","year":"2000","unstructured":"Heitmeyer, C., Bharadwaj, R.: Applying the SCR requirements method to the light control case study. J. Univers. Comput. Sci. 6, 650\u2013678 (2000)","journal-title":"J. Univers. Comput. Sci."},{"key":"22_CR5","unstructured":"Heimdahl, M.P.E., Leveson, N.G., Reese, J.D.: Experiences from specifying the TCAS II requirements using RSML. 17th Digital Avionics Systems Conference, Nov 1998"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"DL Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional documents for computer systems. Sci. Comput. Program. 25, 41\u201361 (1995). ISSN: 0167-6423","journal-title":"Sci. Comput. Program."},{"key":"22_CR7","unstructured":"Janicki, R.: On a formal semantics of tabular expressions. Sci. Comput. Program. (1997)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Hummel, B., Thyssen, J.: Behavioral specification of reactive systems using stream-based I\/O tables. In: Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods. SEFM \u201909, pp. 137\u2013146 (2009)","DOI":"10.1109\/SEFM.2009.15"},{"issue":"4","key":"22_CR9","first-page":"343","volume":"67","author":"R Janicki","year":"2005","unstructured":"Janicki, R., Wassyng, A.: Tabular expressions and their relational semantics. Fundam. Inf. 67(4), 343\u2013370 (2005)","journal-title":"Fundam. Inf."},{"key":"22_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)"},{"key":"22_CR11","unstructured":"Home Page of Focus framework: http:\/\/focus.in.tum.de"},{"key":"22_CR12","unstructured":"Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The design of distributed systems - an introduction to FOCUS. TUM-I9202 (1992)"},{"key":"22_CR13","first-page":"57","volume":"3","author":"M dos Santos Soares","year":"2008","unstructured":"dos Santos Soares, M., Vrancken, J.: Model-driven user requirements specification using SysML. J. Softw. 3, 57\u201368 (2008). ISSN: 1796-217X","journal-title":"J. Softw."},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-45236-2_9","volume-title":"FME 2003: Formal Methods","author":"A Wassyng","year":"2003","unstructured":"Wassyng, A., Lawford, M.: Lessons learned from a successful implementation of formal methods in an industrial project. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 133\u2013153. Springer, Heidelberg (2003)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0028775","volume-title":"Computer Aided Verification","author":"C Heitmeyer","year":"1998","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: SCR*: a toolset for specifying and analyzing software requirements. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 526\u2013531. Springer, Heidelberg (1998)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.: Requirements specifications for hybrid systems. Hybrid Systems III, pp. 304\u2013314 (1996)","DOI":"10.1007\/BFb0020955"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. ACM SIGSOFT Softw. Eng. Notes 26, 109\u2013120 (2001)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-02414-6_10","volume-title":"Component-Based Software Engineering","author":"J Botaschanjan","year":"2009","unstructured":"Botaschanjan, J., Harhurin, A.: Integrating functional and architectural views of reactive systems. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds.) CBSE 2009. LNCS, vol. 5582, pp. 156\u2013172. Springer, Heidelberg (2009)"},{"key":"22_CR19","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1016\/j.scico.2010.06.007","volume":"75","author":"M Broy","year":"2010","unstructured":"Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193\u20131214 (2010)","journal-title":"Sci. Comput. Program."},{"key":"22_CR20","unstructured":"Home Page of AUTOFOCUS: http:\/\/af3.fortiss.org"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T17:08:33Z","timestamp":1676394513000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}