Strategies for incorporating formal specifications in software development
Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi · Communications of the ACM · 1994
article Free Access Share on Strategies for incorporating formal specifications in software development Authors: Martin D. Fraser Georgia State Univ., Atlanta Georgia State Univ., AtlantaView Profile , Kuldeep Kumar Erasmus Univ., The Netherlands Erasmus Univ., The NetherlandsView Profile , Vijay K. Vaishnavi Georgia State Univ., Atlanta Georgia State Univ., AtlantaView Profile Authors Info & Claims Communications of the ACMVolume 37Issue 10Oct. 1994 pp 74–86https://doi.org/10.1145/194313.194399Published:01 October 1994Publication History 72citation923DownloadsMetricsTotal Citations72Total Downloads923Last 12 Months14Last 6 weeks5 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