{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T02:53:21Z","timestamp":1673319201144},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1016\/s0164-1212(01)00082-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:34:40Z","timestamp":1027593280000},"page":"91-101","source":"Crossref","is-referenced-by-count":8,"title":["From program languages to software languages"],"prefix":"10.1016","volume":"60","author":[{"given":"P.","family":"Pepper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Cebulla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Didrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Grieskamp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(01)00082-6_BIB1","series-title":"Software Architecture in Practice","author":"Bass","year":"1998"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB2","doi-asserted-by":"crossref","unstructured":"B\u00fcssow, R., Grieskamp, W., 1997. Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems. In: Shyamasundar, R.K., Ueda, K. (Eds.), Advances in Computing Science \u2013 Asian '97. LNCS 1345. Springer, Berlin","DOI":"10.1007\/3-540-63875-X_42"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB3","doi-asserted-by":"crossref","unstructured":"B\u00fcssow, R., Grieskamp, W., June 1999. A modular framework for the integration of heterogenous notations and tools. In: Araki, K., Galloway, A., Taguchi, K. (Eds.), Proceedings of the 1st International Conference on Integrated Formal Methods \u2013 IFM'99. Springer, Berlin","DOI":"10.1007\/978-1-4471-0851-1_12"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB4","doi-asserted-by":"crossref","unstructured":"Didrich, K., Fett, A., Gerke, C., Grieskamp, W., Pepper, P., 1994. Design and implementation of an algebraic programming language. In: Gutknecht, J. (Ed.), Programming Languages and System Architectures. LNCS 782. Springer, Berlin","DOI":"10.1007\/3-540-57840-4_34"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB5","doi-asserted-by":"crossref","unstructured":"Frauenstein, T., Grieskamp, W., Pepper, P., S\u00fcdholt, M., 1996. Communicating functional agents and their application to graphical user interfaces. In: Proceedings of the 2nd International Conference on Perspectives of System Informatics, Novosibirsk. LNCS 1181. Springer, Berlin","DOI":"10.1007\/3-540-62064-8_32"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB6","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., 2000. A Computation model for Z based on concurrent constraint resolution. In: ZB2000 \u2013 International Conference of Z and B Users, September","DOI":"10.1007\/3-540-44525-0_24"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB7","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Heisel, M., D\u00f6rr, H., 1998. Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. In: Astesiano, E. (Ed.), Proceedings of the 1st International Conference on Fundamental Approaches to Software Engineering \u2013 FASE'98. LNCS 1382. Springer, Berlin","DOI":"10.1007\/BFb0053585"},{"issue":"3","key":"10.1016\/S0164-1212(01)00082-6_BIB8","doi-asserted-by":"crossref","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB9","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., 1997. Aspect-oriented programming. Technical Report, Xerox Palo Alto Research Center","DOI":"10.1007\/BFb0053381"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB10","doi-asserted-by":"crossref","unstructured":"Necula, G.C., 1997. Proof-carrying code. In: Proceedings of the 24th Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages \u2013 POPL '97","DOI":"10.1145\/263699.263712"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB11","series-title":"ML for the Working Programmer","author":"Paulson","year":"1991"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB12","doi-asserted-by":"crossref","unstructured":"Pepper, P., 1999. Funktionale Programmierung. In: Opal, ml, haskell und gofer. Springer, Berlin","DOI":"10.1007\/978-3-642-98002-2"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB13","series-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw","year":"1996"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB14","series-title":"Component Software","author":"Szyperski","year":"1998"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB15","series-title":"Haskell: The Craft of Functional Programming","author":"Thompson","year":"1996"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB16","doi-asserted-by":"crossref","unstructured":"Wadler, P., 1992a. Comprehending monads. In: Mathematical Structures in Computer Science, vol. 2:4, December","DOI":"10.1017\/S0960129500001560"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB17","doi-asserted-by":"crossref","unstructured":"Wadler, P., 1992b. The essence of functional programming. In: Proceedings of the 19th ACM Symposium on Principles of Programming Languages. ACM, New York","DOI":"10.1145\/143165.143169"},{"issue":"3","key":"10.1016\/S0164-1212(01)00082-6_BIB18","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1145\/262009.262011","article-title":"How to declare an imperative","volume":"29","author":"Wadler","year":"1997","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0164-1212(01)00082-6_BIB19","unstructured":"Wadler, P., Weihe, K., (Eds.), 1999. Component-based programming under different paradigms. Technical Report 231, Schloss Dagstuhl \u2013 Internationales Begegnungs \u2013 und Forschungszentrum f\u00fcr Informatik"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121201000826?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121201000826?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T03:27:53Z","timestamp":1578454073000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121201000826"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["S0164121201000826"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(01)00082-6","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}