Welcome to the InfoSci Platform
The What, How, and When of Formal Methods

The What, How, and When of Formal Methods

Aristides Dasso, Ana Funes
Copyright: © 2018 |Pages: 13
ISBN13: 9781522522553|ISBN10: 1522522557|EISBN13: 9781522522560
DOI: 10.4018/978-1-5225-2255-3.ch662
Cite Chapter Cite Chapter

MLA

Dasso, Aristides, and Ana Funes. "The What, How, and When of Formal Methods." Encyclopedia of Information Science and Technology, Fourth Edition, edited by Mehdi Khosrow-Pour, D.B.A., IGI Global, 2018, pp. 7609-7621. https://doi.org/10.4018/978-1-5225-2255-3.ch662

APA

Dasso, A. & Funes, A. (2018). The What, How, and When of Formal Methods. In M. Khosrow-Pour, D.B.A. (Ed.), Encyclopedia of Information Science and Technology, Fourth Edition (pp. 7609-7621). IGI Global. https://doi.org/10.4018/978-1-5225-2255-3.ch662

Chicago

Dasso, Aristides, and Ana Funes. "The What, How, and When of Formal Methods." In Encyclopedia of Information Science and Technology, Fourth Edition, edited by Mehdi Khosrow-Pour, D.B.A., 7609-7621. Hershey, PA: IGI Global, 2018. https://doi.org/10.4018/978-1-5225-2255-3.ch662

Export Reference

Mendeley
Favorite

Abstract

Questions such as what are Formal Methods, how are Formal Methods implemented, how are they used in Software Engineering and when should they be used, among other related questions, are the main objective of this article. Some definitions are given to answer some of these questions; the article also states the aims of FM as well as it gives their main characteristics. An example that shows how Formal Methods can be used for specifying not only software requirements but also the rest of the stages in a software development process is given. A discussion about when they should be used, explaining the reasons why they should be applied when security and reliability are important requirements of the software under development, is presented. Finally, some arguments about how they can also be used as a complement to traditional development methods are provided.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.