Software development with Z. A practical approach to formal methods in software engineering

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 chapter. Some definitions are given to answer some of these questions; the chapter also states the aims of FM as well as giving 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.

Download Full-text

Semantic software engineering

Encyclopedia with Semantic Computing and Robotic Intelligence ◽

10.1142/s2425038416300123 ◽

2017 ◽

Vol 01 (01) ◽

pp. 1630012

Author(s):

Taehyung Wang ◽

Astushi Kitazawa ◽

Phillip Sheu

Keyword(s):

Software Engineering ◽

Software Development ◽

Natural Language ◽

Formal Methods ◽

Web Application ◽

Software Requirements ◽

Application Development ◽

User Requirement ◽

Object Relational ◽

System Requirements

One of the most challenging task in software development is developing software requirements. There are two types of software requirements — user requirement (mostly described by natural language) and system requirements (also called as system specifications and described by formal or semi-formal methods). Therefore, there is a gap between these two types of requirements because of inherently unique features between natural language and formal or semi-formal methods. We describe a semantic software engineering methodology using the design principles of SemanticObjects for object-relational software development with an example. We also survey other semantic approaches and methods for software and Web application development.

Download Full-text

The What, How, and When of Formal Methods

Encyclopedia of Information Science and Technology, Fourth Edition ◽

10.4018/978-1-5225-2255-3.ch662 ◽

2018 ◽

pp. 7609-7621

Author(s):

Aristides Dasso ◽

Ana Funes

Keyword(s):

Software Engineering ◽

Software Development ◽

Formal Methods ◽

Development Process ◽

Software Requirements ◽

Software Development Process ◽

Security And Reliability ◽

Development Methods

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.

Download Full-text