{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:29:28Z","timestamp":1725517768755},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540855644"},{"type":"electronic","value":"9783540855651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85565-1_124","type":"book-chapter","created":{"date-parts":[[2008,8,31]],"date-time":"2008-08-31T23:19:06Z","timestamp":1220224746000},"page":"994-1001","source":"Crossref","is-referenced-by-count":0,"title":["A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation"],"prefix":"10.1007","author":[{"given":"Masakazu","family":"Takahashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoru","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshikatsu","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"124_CR1","unstructured":"GAMP forum: GAMP 4 Guide for Validation of Automated System in Pharmaceutical Manufacture. International Society for Pharmaceutical Engineering (2001)"},{"key":"124_CR2","unstructured":"Hagiwara, K., et al.: Computer Validation, FDA, Ministry of Welfare ER\/ES Guidelines and Applications, Jyouhou Kikou (2006) (in Japanese)"},{"key":"124_CR3","volume-title":"Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification","author":"C.A. Middelburg","year":"1993","unstructured":"Middelburg, C.A.: Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification. Chapman & Hall, Boca Raton (1993)"},{"key":"124_CR4","first-page":"85","volume":"105","author":"M. Satou","year":"2005","unstructured":"Satou, M., Inoue, M., Inoue, T., Yamada, T.: A Proposal of OSS Requirement Definition Using Patterns in Equipment and NW Management Domain. IEOCE Technical Reserch Report\u00a0105, 85\u201394 (2005) (in Japanese)","journal-title":"IEOCE Technical Reserch Report"},{"key":"124_CR5","doi-asserted-by":"crossref","unstructured":"Satyananda, T.K., Lee, D., Kang, S.: Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. In: Proc. of ICSEA 2007, pp. N\/A (2007)","DOI":"10.1109\/ICSEA.2007.33"},{"key":"124_CR6","unstructured":"Siti, R., Wan, M.N., Wan, K., Abdul, H.A.: An Evaluation of Traceability Approaches to Support Software Evolution. In: Proc. of ICSEA 2007, pp. N\/A (2007)"},{"key":"124_CR7","volume-title":"A Specification Language and Its Formal Semantics","author":"J.M. Spivey","year":"2008","unstructured":"Spivey, J.M., Understanding, Z.: A Specification Language and Its Formal Semantics. Cambridge Univ. Press, Cambridge (2008)"},{"issue":"12","key":"124_CR8","first-page":"2869","volume":"45","author":"M. Takahashi","year":"2004","unstructured":"Takahashi, M., Tsuda, K.: An Efficient Computer Validation Method for Pharmaceutical Facility Motion Control Software. Journal of Information Processing Society of Japan\u00a045(12), 2869\u20132879 (2004) (in Japanese)","journal-title":"Journal of Information Processing Society of Japan"},{"issue":"8","key":"124_CR9","doi-asserted-by":"crossref","first-page":"949","DOI":"10.9746\/sicetr1965.42.949","volume":"42","author":"M. Takahashi","year":"2006","unstructured":"Takahashi, M.: An Efficient Method for Computer Validation of Pharmaceutical Production Facility Control Software Using Programmable Logic Controller. Transactions of The Society of Instrument and Control Engineers\u00a042(8), 949\u2013958 (2006) (in Japanese)","journal-title":"Transactions of The Society of Instrument and Control Engineers"},{"key":"124_CR10","unstructured":"Zeida, R., et al.: Automatic Conversion from Specifications written in Japanese to Class Diagrams of UML, Technical Report of The Institute of Electronics. Information and Communication Engineers, Pattern Recognition and Media Understanding, Vol.105, No. 615, pp. 159\u2013164 (2005)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85565-1_124.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:41:00Z","timestamp":1619523660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85565-1_124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540855644","9783540855651"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85565-1_124","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}