Mathematical foundations of software engineering

Abstract

Article Mathematical foundations of software engineering: a roadmap Share on Author: Tom Maibaum Department of Computer Science, King's College London, Strand, London WC2R2LS, UK Department of Computer Science, King's College London, Strand, London WC2R2LS, UKView Profile Authors Info & Claims ICSE '00: Proceedings of the Conference on The Future of Software EngineeringMay 2000 Pages 161–172https://doi.org/10.1145/336512.336548Published:01 May 2000 24citation977DownloadsMetricsTotal Citations24Total Downloads977Last 12 Months6Last 6 weeks2 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 AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access