{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:53:12Z","timestamp":1725655992898},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513537"},{"type":"electronic","value":"9783642748721"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-74872-1_16","type":"book-chapter","created":{"date-parts":[[2012,1,28]],"date-time":"2012-01-28T10:29:41Z","timestamp":1327746581000},"page":"238-250","source":"Crossref","is-referenced-by-count":2,"title":["Konzepte einer Software-Architektur-Beschreibungssprache"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Ebert","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","first-page":"155","volume-title":"Workshop on Reliable Software","author":"W Altmann","year":"1978","unstructured":"Altmann, W.: A new module concept for the design of reliable software, in P. Raulefs (Hrsg.): Workshop on Reliable Software, M\u00fcnchen: Hanser, 1978, 155\u2013165"},{"key":"16_CR2","volume-title":"Amsterdam: North Holland","author":"HP Barendregt","year":"1981","unstructured":"Barendregt, H.P.: The Lamda Calculus: Its Syntax and Semantics, Amsterdam: North Holland, 1981"},{"key":"16_CR3","unstructured":"Bergstra, J.A.\/ Heering, J.\/ Klint, P.: ASF - An algebraic specification formalism, Report CS-R8705, CWI Amsterdam"},{"key":"16_CR4","unstructured":"Ebert, J.\/ Engels, G.: Ein Konzept zur Beschreibung von Software-Architekturen, Fachberichte Informatik Nr. 11\/88, EWH Koblenz"},{"key":"16_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"B.: Fundamentals of Algebraic Specification","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, Berlin: Springer, 1985"},{"key":"16_CR6","volume-title":"The Design of an Adaptive and Portable Programming Support Environment, in Valle, G.\/Bucci, G. (Hrsg.): Proc. of the Intern. Computing Symposium","author":"Engels, G.\/ Sch\u00e4fer, W.","year":"1985","unstructured":"Engels, G.\/ Sch\u00e4fer, W.: The Design of an Adaptive and Portable Programming Support Environment, in Valle, G.\/Bucci, G. (Hrsg.): Proc. of the Intern. Computing Symposium 1985, Florenz, Amsterdam: North-Holland"},{"key":"16_CR7","unstructured":"Ehrig, H.\/ Weber, H.: Programming in the Large with Algebraic Module Specifications, Proc. IFIP Congress 86, Dublin, Sept. 86"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"1047","DOI":"10.1016\/B978-0-444-70304-0.50164-3","volume-title":"Human-Computer Interaction - Interact 87","author":"Gimnich, R.\/ Ebert, J.","year":"1987","unstructured":"Gimnich, R.\/ Ebert, J.: Constructive Formal Specifications and Rapid Prototyping, in Bullinger, H.-J., Shackel, B. (eds.): Human-Computer Interaction - Interact \u201987, Amsterdam: Elsevier Science 1987, 1047\u20131052"},{"key":"16_CR9","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, Englewood Cliffs, N.J.: Prentice Hall, 1986"},{"key":"16_CR10","first-page":"11","volume":"1","author":"U Kelter","year":"1985","unstructured":"Kelter, U.: Modularisierungen und Entw\u00fcrfe von Programmen, Softwaretechnik-Trends 5, Bd. 1, 1985, 11\u201327","journal-title":"Bd"},{"key":"16_CR11","volume-title":"Software-Architekturen und modulare Programmierung","author":"C Lewerentz","year":"1986","unstructured":"Lewerentz, C.: Entwurf und Implementierung eines syntaxgesteuerten Editors f\u00fcr Software-Architekturen, in H.-W. Wippermann (Hrsg.): Software-Architekturen und modulare Programmierung, Stuttgart: Teubner 1986"},{"key":"16_CR12","unstructured":"Lewerentz, C.: Extended Programming-in-the-Large in a Software Development Environment, in P. Henderson (Hrsg.): Prof. of the ACM SIGS OFT\/S IG PLAN Software Engineering Symposium on Practical Software Development Environments, SIGPLAN Notices, Vol. 24, No. 2, Febr. 89"},{"key":"16_CR13","unstructured":"Lipeck, U.: Ein algebraischer Kalk\u00fcl f\u00fcr einen strukturierten Entwurf von Datenabstraktionen. Dissertation, Technischer Bericht Nr. 148, Abt. Informatik, Universit\u00e4t Dortmund"},{"key":"16_CR14","first-page":"638","volume-title":"Proc. of the 18th Hawaii International Conference on System Sciences, Vol. 2","author":"Lewerentz, C.\/ Nagl, M.","year":"1985","unstructured":"Lewerentz, C.\/ Nagl, M.: Incremental Programming in the Large: Syntay-Aided Specification Editing, Integration, and Maintenance, in Proc. of the 18th Hawaii International Conference on System Sciences, Vol. 2, 638\u2013649, 1985"},{"issue":"3","key":"16_CR15","first-page":"259","volume":"10","author":"Parnas, D.L.\/ Clements, P.C.\/ Weiss, D.M.","year":"1985","unstructured":"Parnas, D.L.\/ Clements, P.C.\/ Weiss, D.M.: The modular structure of complex systems, IEEE Transactions on Software Engineering, Vol. 10, No. 3, 1985, 259\u2013266","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR16","unstructured":"Wirsing, M.: Structured Algebraic Specifications: A Kernel Language, MIP-8511, Universit\u00e4t Passau"}],"container-title":["Informatik-Fachberichte","Software-Entwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-74872-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:14:19Z","timestamp":1606252459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-74872-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513537","9783642748721"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-74872-1_16","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}