Language and Communication Problems in Formalization: A Natural Language Approach

2021
OriginalPaper
Chapter

Published in:

Authors: Alessandro Fantechi; Stefania Gnesi; Laura Semini
Published in: Logic, Computation and Rigorous Methods
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The chapter delves into the intricacies of formalizing software requirements from natural language descriptions, a process fraught with ambiguities. It discusses the classic software development process, focusing on the challenges of translating informal requirements into formal models. The author advocates for the use of Natural Language Processing (NLP) tools to identify and mitigate these ambiguities, exemplified through the application of the QuARS tool on the Steam Boiler case study. The chapter categorizes and provides examples of various sources of ambiguity, such as lexical, syntactic, and temporal ambiguities, and demonstrates how these can be resolved using formal logic and temporal logics. The research showcases a novel approach to bridging the gap between informal requirements and their formal representation, offering a systematic method to ensure clarity and precision in software development.

AI Generated

This summary of the content was generated with the help of AI.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter Communities and Ancestors Associated with Egon Börger and ASM

next chapter ASM Specification and Refinement of a Quantum Algorithm

Metadata
Appendix
Footnotes
Literature

Title: Language and Communication Problems in Formalization: A Natural Language Approach
Authors: Alessandro Fantechi
Stefania Gnesi
Laura Semini
Publisher: Springer International Publishing
Book: Logic, Computation and Rigorous Methods
Print ISBN: 978-3-030-76019-9

Electronic ISBN: 978-3-030-76020-5

Copyright Year: 2021
DOI: https://doi.org/10.1007/978-3-030-76020-5_7

This content is only visible if you are logged in and have the appropriate permissions.