The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
The What, How, and When of Formal Methods
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.
Related Content
Yair Wiseman.
© 2021.
11 pages.
|
Mário Pereira Véstias.
© 2021.
15 pages.
|
Mahfuzulhoq Chowdhury, Martin Maier.
© 2021.
15 pages.
|
Gen'ichi Yasuda.
© 2021.
12 pages.
|
Alba J. Jerónimo, María P. Barrera, Manuel F. Caro, Adán A. Gómez.
© 2021.
19 pages.
|
Gregor Donaj, Mirjam Sepesy Maučec.
© 2021.
14 pages.
|
Udit Singhania, B. K. Tripathy.
© 2021.
11 pages.
|
|
|