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

• Κύριος συγγραφέας: Jureta, Ivan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.