Towards a wide spectrum language to support program specification and program development

Abstract

article Free Access Share on Towards a wide spectrum language to support program specification and program development Authors: F. L. Bauer Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , M. Broy Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , R. Gnatz Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , W. Hesse Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , B. Krieg-Brückner Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , H. Partsch Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , P. Pepper Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile , H. Wössner Institut für Informatik, der Technischen Universität München, München, Germany Institut für Informatik, der Technischen Universität München, München, GermanyView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 13Issue 12December 1978 pp 15–24https://doi.org/10.1145/954587.954588Published:01 December 1978Publication History 31citation244DownloadsMetricsTotal Citations31Total Downloads244Last 12 Months16Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF