000 03391nam a22005055i 4500
001 978-3-319-18821-8
003 DE-He213
005 20200421111840.0
007 cr nn 008mamaa
008 150930s2015 gw | s |||| 0|eng d
020 _a9783319188218
_9978-3-319-18821-8
024 7 _a10.1007/978-3-319-18821-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aJureta, Ivan.
_eauthor.
245 1 4 _aThe Design of Requirements Modelling Languages
_h[electronic resource] :
_bHow to Make Formalisms for Problem Solving in Requirements Engineering /
_cby Ivan Jureta.
250 _a1st ed. 2015.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _aXII, 286 p. 54 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _a1 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer logic.
650 0 _aMathematical logic.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aLogics and Meanings of Programs.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319188201
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-18821-8
912 _aZDB-2-SCS
942 _cEBK
999 _c55511
_d55511