The Design of Requirements Modelling Languages

How to Make Formalisms for Problem Solving in Requirements Engineering

  • Ivan Jureta

Table of contents

  1. Front Matter
    Pages i-xii
  2. Ivan Jureta
    Pages 1-7
  3. Ivan Jureta
    Pages 61-71
  4. Ivan Jureta
    Pages 77-117
  5. Ivan Jureta
    Pages 119-130
  6. Ivan Jureta
    Pages 131-145
  7. Ivan Jureta
    Pages 147-169
  8. Ivan Jureta
    Pages 171-185
  9. Ivan Jureta
    Pages 187-222
  10. Ivan Jureta
    Pages 223-237
  11. Ivan Jureta
    Pages 239-265
  12. Ivan Jureta
    Pages 267-274
  13. Back Matter
    Pages 275-286

About this book


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 requirements modelling language design.

The book positions requirements problem solving within the framework of broader research on ill-structured problem solving in artificial intelligence and engineering in general. Further, it introduces the reader to many complicated issues in requirements modelling language design, starting from trivial questions and the definition of corresponding simple languages used to answer them, and progressing to increasingly complex issues and languages. In this way the reader is led step by step (and with the help of illustrations) to learn about the many challenges involved in designing modelling languages for requirements engineering.

The book offers the first comprehensive treatment of a major challenge in requirements engineering and business analysis, namely, how to design and define requirements modelling languages. It is intended for researchers and graduate students interested in advanced topics of requirements engineering and formal language design.


context specific languages formal language definitions formalisms requirements analysis software design

Authors and affiliations

  • Ivan Jureta
    • 1
  1. 1.Dépt. des Sciences de Gestion (B423)Université de NamurNamurBelgium

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-18820-1
  • Online ISBN 978-3-319-18821-8
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment