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