{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:35:07Z","timestamp":1725456907744},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160779"},{"type":"electronic","value":"9783662096918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-662-09691-8_12","type":"book-chapter","created":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T04:50:18Z","timestamp":1367902218000},"page":"156-170","source":"Crossref","is-referenced-by-count":0,"title":["Transformation of Interface Specifications"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"The Ada Programming Language. ANSI \/ MIL-STD 1815 A. US Government Printing Office, 1983. Also in: Rogers, M. W. (ed.): Ada: Language, Compilers and Bibliography. Ada Companion Series, Cambridge University Press, 1984","key":"12_CR1"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/947783.948650","volume":"15","author":"B Krieg-Br\u00fcckner","year":"1980","unstructured":"Krieg-Br\u00fcckner, B., Luckham, D.C.: Anna: Towards a Language for Annotating Ada Programs. ACM SIGPLAN Notices 15:1 (1980), 128\u2013138","journal-title":"ACM SIGPLAN Notices"},{"key":"12_CR3","volume-title":"Anna, a Language for Annotating Ada Programs; Preliminary Reference Manual","author":"DC Luckham","year":"1984","unstructured":"Luckham, D. C., von Henke, F. W., Krieg-Br\u00fcckner, B., Owe, O.: Anna, a Language for Annotating Ada Programs; Preliminary Reference Manual. Technical Report No. 84\u2013248, Computer Systems Lab., Standford University, June 1984"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0014674","volume-title":"Program Construction","author":"P Pepper","year":"1979","unstructured":"Pepper, P.: A Study of Transformational Semantics, in: Bauer, F.L., Broy, M.(eds.): Program Construction. LNCS 69 (1979) 322\u2013405."},{"key":"12_CR5","volume-title":"Research Report","author":"O Owe","year":"1985","unstructured":"Owe, O.: An Approach to Program Reasoning Based on a First Order Logic for Partial Functions. Research Report No. 89, Institute of Informatics, University of Oslo, 1985"},{"unstructured":"Owe, O.: Formal Definition of the Anna Kernel, (in preparation)","key":"12_CR6"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/357103.357108","volume":"2","author":"M Broy","year":"1980","unstructured":"Broy, M., Krieg-Br\u00fcckner, B.: Derivation of Invariant Assertions During Program Development by Transformation. ACM T0PLAS 2:3 (1980) 321\u2013337","journal-title":"ACM T0PLAS"},{"key":"12_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic Language and Program Development","author":"FL Bauer","year":"1982","unstructured":"Bauer, F.L., W\u00f6ssner, H: Algorithmic Language and Program Development. Springer Verlag, 1982"},{"key":"12_CR9","volume-title":"Handling Errors and Exceptions in the Algebraic Specification of Data Types. Osnabr\u00fccker Schriften zur Mathematik","author":"G Engels","year":"1981","unstructured":"Engels, G., Piet\u00e4t, V., Ehrich, H.-D: Handling Errors and Exceptions in the Algebraic Specification of Data Types. Osnabr\u00fccker Schriften zur Mathematik, Reihe Informatik, Heft 3, 1981"},{"key":"12_CR10","volume-title":"Efficient Implementation of Ada Tasks","author":"AN Habermann","year":"1980","unstructured":"Habermann, A. N., and Nassi, I. R.: Efficient Implementation of Ada Tasks. Carnegie Mellon University Technical Report CMU-CS-80\u2013103, Jan. 1980"},{"key":"12_CR11","volume-title":"Concrete and Abstract Specification, Modularization and Program Development by Transformation","author":"B Krieg-Br\u00fcckner","year":"1978","unstructured":"Krieg-Br\u00fcckner, B.: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-INFO-7805, Jan 1978"},{"issue":"4","key":"12_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0020-0190(80)90039-3","volume":"11","author":"A Laut","year":"1980","unstructured":"Laut, A.: Safe Procedural Implementations of Algebraic Types. Information Processing Letters 11: 4,5(1980) 147\u2013151","journal-title":"Information Processing Letters"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H Partsch","year":"1983","unstructured":"Partsch, H., Steinbr\u00fcggen, R.: Program Transformation Systems. ACM Computing Surveys 15 (1983) 199\u2013236","journal-title":"ACM Computing Surveys"},{"key":"12_CR14","volume-title":"PROgram development by SPECification and TRAnsformation","author":"B Krieg-Br\u00fcckner","year":"1985","unstructured":"Krieg-Br\u00fcckner, B Ganzinger, H., Broy, M., Wilhelm, R McGettrick, A.D., Campbell, I.G., Winterstein, G.: PROgram development by SPECification and TRAnsformation, Project Summary. Universit\u00e4t Bremen, 1985."},{"key":"12_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15187-7","volume-title":"The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. LNCS 183","author":"FL Bauer","year":"1985","unstructured":"Bauer, F. L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Nicki, F., Partsch, M., and W\u00f6ssner, H.: The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. LNCS 183, Springer Verlag, 1985"},{"key":"12_CR16","volume-title":"Ada Package Specifications, Path Expressions and Monitors","author":"SJ Goldsack","year":"1982","unstructured":"Goldsack, S.J and Moreton, T.: Ada Package Specifications, Path Expressions and Monitors. IEE Proceedings part E. Vol 129, March 1982,"}],"container-title":["Informatik-Fachberichte","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-09691-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,20]],"date-time":"2019-01-20T09:36:47Z","timestamp":1547977007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-09691-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160779","9783662096918"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-09691-8_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1985]]}}}