000 03608nam a22004695i 4500
999 _c200434159
_d52371
003 DE-He213
005 20231104114319.0
007 cr nn 008mamaa
008 150930s2015 gw | s |||| 0|eng d
020 _a9783319188218
_z978-3-319-18821-8
024 7 _a10.1007/978-3-319-18821-8
_2doi
040 _aTR-AnTOB
_beng
_cTR-AnTOB
_erda
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema005.1
_223
100 1 _aJureta, Ivan.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 4 _aThe Design of Requirements Modelling Languages :
_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 _a1 online 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 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 0 _aLogic design.
650 1 4 _aSoftware Engineering.
_0http://scigraph.springernature.com/things/product-market-codes/I14029
650 2 4 _aMathematical Logic and Formal Languages.
_0http://scigraph.springernature.com/things/product-market-codes/I16048
650 2 4 _aArtificial Intelligence.
_0http://scigraph.springernature.com/things/product-market-codes/I21000
650 2 4 _aLogics and Meanings of Programs.
_0http://scigraph.springernature.com/things/product-market-codes/I1603X
710 2 _aSpringerLink (Online service)
856 4 0 _uhttps://doi.org/10.1007/978-3-319-18821-8
_3Springer eBooks
_zOnline access link to the resource
942 _2lcc
_cEBK
041 _aeng