Some features of the site may not work correctly. DOI: Formal specification languages, which provide the formal method's mathematical basis, are examined. Certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed.
Six well-known or commonly used formal methods are illustrated by simple examples. View on IEEE. Save to Library Save. Create Alert Alert. Share This Paper. Background Citations. Methods Citations. Figures and Topics from this paper. Citation Type. Has PDF. Publication Type. More Filters. Classification of Formal Specification Methods. Formal methods for computer systems. Formal methods used in developing and verifying software and hardware systems are mathematically based techniques for describing and reasoning about system properties.
You can see your Bookmarks on your DeepDyve Library. Sign Up Log In. Copy and paste the desired citation format or use the link below to download a file formatted for EndNote. All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.
Open Advanced Search. DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue. Strategies for incorporating formal specifications in software development Strategies for incorporating formal specifications in software development Fraser, Martin D.
Strategies for incorporating formal specifications in software development Fraser, Martin D. Read Article. Download PDF. Share Full Text for Free. Web of Science. Let us know here. System error. Please try again! How was the reading experience on this article? The text was blurry Page doesn't load Other:. Details Include any more information that will help us locate the issue and fix it faster for you.
Thank you for submitting a report!
0コメント