The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /

• Main Author: Jureta, Ivan (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Subjects: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.

This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requir...

Table of Contents:

• 1 Requirements Problem Solving
• 2 Problem Solving Automation
• 3 Problem and Solution Concepts
• 4 On Requirements Modelling Languages
• 5 Requirements Problem Solving Cases
• 6 Checklists, Templates, and Services
• 7 Relations
• 8 Guidelines
• 9 Categories
• 10 Valuation
• 11 Uncertainty
• 12 Alternatives
• 13 Constraints
• 14 Preferences
• 15 Links to Formal Logic.