{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:17:46Z","timestamp":1742617066093,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541943"},{"type":"electronic","value":"9783540474852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54194-2_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:35:02Z","timestamp":1330209302000},"page":"44-52","source":"Crossref","is-referenced-by-count":0,"title":["Development of a method driven CAS2E tool"],"prefix":"10.1007","author":[{"given":"Jonah Z.","family":"Lavi","sequence":"first","affiliation":[]},{"given":"Michael","family":"Winokur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D., \u201cStatecharts: A Visual Formalism for Complex Systems\u201d, Science of Computer Programming 8 (1987) pp. 231\u2013274, North-Holland.","journal-title":"Science of Computer Programming"},{"issue":"4","key":"4_CR2","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., et al \u201cSTATEMATE: A Working Environment for the Development of Complex Reactive Systems\u201d, IEEE Transactions on Software Engineering, Vol. 16, No. 4, April 1990, pp. 403\u2013414.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Kaskowitz, R., Kuehl, C.S., \u201cLessons Learned From Selecting and Implementing Advanced Enginering Methods and Tools in an Integrated Computerized Environment\u201d, Procceding of the Computer Based Systems Engineering Workshop organized by the Israel Chapter of the IEEE Computer Society. Neveh Ilan, Israel, May 1990.","key":"4_CR3"},{"unstructured":"Lavi, J.Z., \u201cA Systems Engineering Approach to Software Engineering\u201d, IEEE Proc. Software Process Workshop, Egham, UK, Feb. 1984, pp. 49\u201357.","key":"4_CR4"},{"unstructured":"Lavi, J.Z., Kessler, E., \u201cAn Embedded Computer Systems Analysis Method, \u201cin Proceedings of the Israel First Conference on Computer Systems and Software Engineering\u201c Tel Aviv, June 1986.","key":"4_CR5"},{"unstructured":"Lavi, J.Z., Winokur, M., \u201cEmbedded Computer Systems Requirements Analysis & Specification \u2014 An Industrial Course\u201d, in \u201cSoftware Engineering Education \u2014 Proceedings of the SEI 1988 Conference\u201d, Lecture Notes in Computer Science, Vol. 327' Springer Verlag, 1988.","key":"4_CR6"},{"unstructured":"Lavi, J.Z., Winokur, M., Dagan A., Rokach, R., \u201cMulti Level Analysis of Complex Embedded Computer Systems\u201c in Proceedings of Third Israel Conference on Computer Systems and Software Engineering\u201c IEEE Computer Society Press order Number 884, June 1988.","key":"4_CR7"},{"unstructured":"Lavi, J.Z., Winokur, M., \u201cECSAM \u2014 A Method for the Analysis of Complex Embedded Computer Systems & their Software\u201d, Proceedings of the Fifth Structured Techniques Association Conference, Chicago, III., May 1989.","key":"4_CR8"},{"unstructured":"Lavi, J.Z., Winokur, M., Kudish, J., Gallant, R., \u201cEmbedded Computer Systems Specification and Design, The ECSAM Approach\u201d, IAI report, June 1991.","key":"4_CR9"},{"issue":"4","key":"4_CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.1985.1662862","volume":"18","author":"D. T. Ross","year":"1985","unstructured":"Ross, D. T., \u201cApplications and Extensions of SADT\u201d, Computer, Vol 18, No, 4, April 1985, pp. 25\u201335.","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Teichroew, D., Hershey, E.A. III, \u201cPSL\/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Proceesing Systems\u201d, IEEE Transaction on Software Enginering, January 1977, pp. 41\u201348.","key":"4_CR11","DOI":"10.1109\/TSE.1977.229902"},{"doi-asserted-by":"crossref","unstructured":"White, S. M., Lavi, J. Z., \u201cEmbedded Computer System Requirements Workshop\u201d, Computer, Vol. 19, No. 4, April 1985","key":"4_CR12","DOI":"10.1109\/MC.1985.1662867"},{"key":"4_CR13","volume-title":"A Pragmatic Formal Method for Computer System Definition","author":"S. White","year":"1987","unstructured":"White, S., \u201cA Pragmatic Formal Method for Computer System Definition\u201d, Ph.D. Dissertation, Polytechnique University, New York, N.Y., June 1987."},{"doi-asserted-by":"crossref","unstructured":"Winokur,M., Lavi, J.Z., Lavi, I., Oz, R., \u201cRequirements Analysis and Specifications of Embedded Computer Systems using ECSAM \u2014 a Case Study\u201d, Proceedings of the IEEE CompEuro Conference, May 1990, Tel-Aviv, Israel, pp. 80\u201389.","key":"4_CR14","DOI":"10.1109\/CMPEUR.1990.113611"}],"container-title":["Lecture Notes in Computer Science","Software Development Environments and CASE Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54194-2_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:15:19Z","timestamp":1742591719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54194-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541943","9783540474852"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-54194-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}