{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:54Z","timestamp":1725663234564},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540516354"},{"type":"electronic","value":"9783540467236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51635-2_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:09:16Z","timestamp":1330186156000},"page":"324-335","source":"Crossref","is-referenced-by-count":1,"title":["HCDM\/GSDS \u2014 A design environment for real-time software with automatic program generation"],"prefix":"10.1007","author":[{"given":"Michael","family":"Fastenbauer","sequence":"first","affiliation":[]},{"given":"Heinz","family":"Saria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"unstructured":"M. Atlevi: SDT \u201cThe SDL Design Tool\u201d, FORTE 88, Participants Proceedings, pp. 55\u201359, September 1988","key":"19_CR1"},{"unstructured":"S. Barra, O. Ghisio, M. Modesti: Experience and Problems of Applications of Automatic Translations from SDL Specifications into CHILL Implementations, IEE, 6th International Conference on Software Engineering for Telecommunication Switching Systems, Eindhoven, April 1986","key":"19_CR2"},{"key":"19_CR3","first-page":"89","volume":"289","author":"S. Berr","year":"1987","unstructured":"S. Berr, R. Welland, I. Sommerville: Softare Design Automation in an IPSE, in H.K. Nichols, D. Simpson (Eds.): ESEC 87: 1st European Software Engineering Conference Strasbourg, France, Springer LNCS 289, pp. 89\u201397, September 1987","journal-title":"Springer LNCS"},{"unstructured":"CCITT: Functional Specification and Description Language (SDL), Recommendations Z.100\u2013Z.104, Red Book Vol. VI, Fasc. VI.10, Annexes to Recommendations Z.100\u2013Z.104, Red Book Vol. VI, Fasc. VI.11, Geneva 1985","key":"19_CR4"},{"unstructured":"CCITT: CCITT High Level Language (CHILL), Recommendations Z.200, Red Book Vol.VI, Fasc. VI.12, Geneva 1985","key":"19_CR5"},{"unstructured":"M. Fastenbauer, H. Saria: HCDM\/GSDS \u2014 Experiences with CASE for Telecom Systems, IEE 7th International Conference on Software Engineering for Telecommunication Switching Systems, Bournemouth, July 1989 (forthcoming)","key":"19_CR6"},{"key":"19_CR7","first-page":"288","volume":"289","author":"P. Hruschka","year":"1987","unstructured":"P. Hruschka: ProMod at the age of 5, in H.K. Nichols, D. Simpsom (Eds.): ESEC 87: 1st European Software Engineering Conference Strasbourg, France, Springer LNCS 289, pp. 288\u2013296, September 1987","journal-title":"Springer LNCS"},{"unstructured":"L.N. Jackson, K.E. Cheng, T.S. Choong, R.S.V. Pascoe: Melba at the Age of Eight: An Automatic Code Generation System, Proceedings of 3rd SDL Forum, pp.34\u20131 to 34\u201313, The Hague, April 1987","key":"19_CR8"},{"doi-asserted-by":"crossref","unstructured":"N. Theuretzbacher: HCDM: A Hierarchical Design Method for CHILL based Systems, Proceedings of 1986 International Zurich Seminar on Digital Communications, IEEE Catalogue No. 86CH2277-2, pp.163\u2013169","key":"19_CR9","DOI":"10.1016\/S1474-6670(17)59728-1"},{"key":"19_CR10","first-page":"101","volume":"289","author":"W. F. Tichy","year":"1987","unstructured":"W.F. Tichy, F.J. Newbery: Knowledge-based Editors for Directed Graphs, in H.K. Nichols, D. Simpsom (Eds.): ESEC 87: 1st European Software Engineering Conference Strasbourg, France, Springer LNCS 289, pp. 101\u2013109, September 1987","journal-title":"Springer LNCS"},{"unstructured":"E. Vefsnmo: DASOM \u2014 A SDL-tool, Proceedings of 3rd SDL Forum, pp.4\u20131 to 4\u201310, The Hague, April 1987","key":"19_CR11"},{"unstructured":"T. Wolf: HCDM\/GSDS User Manual, Software Version GSDS 1.1, Alcatel Austria-ELIN Research Centre, Internal Report, March 1987","key":"19_CR12"}],"container-title":["Lecture Notes in Computer Science","ESEC '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51635-2_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:05:02Z","timestamp":1619557502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51635-2_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540516354","9783540467236"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51635-2_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}