Publication | Closed Access
Towards a wide spectrum language to support program specification and program development
51
Citations
14
References
1978
Year
Software MaintenanceEngineeringSoftware EngineeringSemanticsSoftware AnalysisFormal VerificationProgram SpecificationSystems EngineeringProgram DevelopmentHigh-level Programming LanguageComputer ScienceDomain-specific LanguageSoftware DesignProgramming Language DesignWide Spectrum LanguageSpecification LanguageProgram AnalysisSoftware TestingFormal MethodsIntermediate RepresentationGermanyview ProfileProgramming MethodologySystem SoftwareSoftware Language Engineering
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
| Year | Citations | |
|---|---|---|
Page 1
Page 1