Generating Alloy Specification - From Textual User Requirements Written in Natural Language

Software requirements are typically written in textual forms using a natural language. This is a very common way for writing user requirements, since it allows non-technical stakeholders to read, comment and discuss the requirements in a format that they can comprehend. However, user requirements written in natural languages can often be ambiguous, incomplete, and inconsistent, which leads to problems when constructing the software system. Additionally, the interpretation of requirements in natural languages can be affected by geographical, psychological and sociological factors. Thus, it is very relevant to detect and fix potential ambiguities, inconsistencies, and incompleteness in the written requirements. This leads to better products (i.e., in accordance to the needs and expectations of the stakeholders) and reduces the development cost. these issues has been address in this book.

About the author

Kiramat Rahman, Software Engineer: Studied Software Engineering at International Islamic University and have get Bs (Honour) IT degree from University of Malakand. He has five year professional experience in the field of networking, database, web designing and consultancy services. His research interest is of Software engineering.

Product details

• Authors: Shabaz Ahmed Khan Ghayure, Kirama Rahman, Kiramat Rahman
• Publisher: LAP Lambert Academic Publishing
• Languages: English, German
• Product format: Paperback / Softback
• Released: 05.10.2012
• EAN: 9783659233210
• ISBN: 978-3-659-23321-0
• No. of pages: 88
• Dimensions: 150 mm x 220 mm x 5 mm
• Weight: 150 g
• Subjects: Guides; Natural sciences, medicine, IT, technology > IT, data processing > Miscellaneous