{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:34:03Z","timestamp":1742963643111,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642392764"},{"type":"electronic","value":"9783642392771"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39277-1_9","type":"book-chapter","created":{"date-parts":[[2013,8,3]],"date-time":"2013-08-03T02:46:58Z","timestamp":1375498018000},"page":"116-132","source":"Crossref","is-referenced-by-count":1,"title":["Applying SOFL to a Generic Insulin Pump Software Design"],"prefix":"10.1007","author":[{"given":"Chung-Ling","family":"Ling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wuwei","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dionysios","family":"Kountanis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer (2004) ISBN 3-540-20602-7"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/32.663996","volume":"24","author":"S. Liu","year":"1998","unstructured":"Liu, S., Offutt, J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering\u00a024(1), 24\u201345 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Jones, P., Jetley, R.: A Hazard Analysis for a Generic Insulin Infusion Pump. Diabetes Science and Technology\u00a04(2) (2010)","DOI":"10.1177\/193229681000400207"},{"key":"9_CR4","unstructured":"Vogel, D.: Medical Device Software Verification, Validation, and Compliance. Artech House (2011)"},{"key":"9_CR5","unstructured":"Generic Infusion Pump Project, \n                      http:\/\/rtg.cis.upenn.edu\/gip.php3"},{"key":"9_CR6","unstructured":"FDA, GIIP Functional Specifications (2011)"},{"issue":"6","key":"9_CR7","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1177\/193229681100500612","volume":"5","author":"Y. Zhang","year":"2011","unstructured":"Zhang, Y., Jetly, R., Jones, P., Ray, A.: Generic Safety Requirements for Developing Safe Insulin Pump Software. Diabetes Science and Technology\u00a05(6), 1403\u20131419 (2011)","journal-title":"Diabetes Science and Technology"},{"key":"9_CR8","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press (2006) ISBN 978-0-262-10114-1"},{"key":"9_CR9","unstructured":"Gurevich, Y.: Evolving Algebras. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press (1995) ISBN 0-521-49619-5"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996) ISBN 0-521-49619-5","DOI":"10.1017\/CBO9780511624162"},{"key":"9_CR11","unstructured":"Schuman, S.A., Meyer, B., Abrial, J.-R.: A Specification Language. In: McKeag, R.M., Macnaghten, A.M. (eds.) On the Construction of Programs. Cambridge University Press (1980)"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0164-1212(94)00082-X","volume":"28","author":"S. Liu","year":"1995","unstructured":"Liu, S., Stavridou, V., Dutertre, B.: The Practice of Formal Methods in Safety Critical Systems. Journal of Systems and Software\u00a028(1), 77\u201387 (1995)","journal-title":"Journal of Systems and Software"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Spanoudakis, G., Zisman, A.: Software Traceability: A Roadmap. In: Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing (2004)","DOI":"10.1142\/9789812775245_0014"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/s11334-005-0011-3","volume":"1","author":"S. Yadla","year":"2005","unstructured":"Yadla, S., Huffman Hayes, J., Dekhtyar, A.: Tracing Requirements to Defect Reports: An Application of Information Retrieval Techniques. Innovations in Systems and Software Engineering: A NASA Journal\u00a01, 116\u2013124 (2005)","journal-title":"Innovations in Systems and Software Engineering: A NASA Journal"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39277-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T17:15:48Z","timestamp":1676654148000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39277-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642392764","9783642392771"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39277-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}