The design of requirements modelling languages: how to make formalisms for problem solving in requirements engineering
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2015]
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FKE01 FLA01 FRO01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online Ressource (XII, 286 Seiten, 54 illus) |
| ISBN: | 9783319188218 |
| DOI: | 10.1007/978-3-319-18821-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043208865 | ||
| 003 | DE-604 | ||
| 005 | 20160714 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319188218 |c Online |9 978-3-319-18821-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-18821-8 |2 doi | |
| 035 | |a (OCoLC)929991065 | ||
| 035 | |a (DE-599)BVBBV043208865 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-19 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-739 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 100 | 1 | |a Jureta, Ivan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The design of requirements modelling languages |b how to make formalisms for problem solving in requirements engineering |c Ivan Jureta |
| 264 | 1 | |a Cham |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (XII, 286 Seiten, 54 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-18820-1 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-18821-8 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632025 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FLA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-18821-8 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175706930806784 |
|---|---|
| adam_text | THE DESIGN OF REQUIREMENTS MODELLING LANGUAGES
/ JURETA, IVAN
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
THE DESIGN OF REQUIREMENTS MODELLING LANGUAGES
/ JURETA, IVAN
: 2015
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Jureta, Ivan |
| author_facet | Jureta, Ivan |
| author_role | aut |
| author_sort | Jureta, Ivan |
| author_variant | i j ij |
| building | Verbundindex |
| bvnumber | BV043208865 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)929991065 (DE-599)BVBBV043208865 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-18821-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03621nmm a2200685zc 4500</leader><controlfield tag="001">BV043208865</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160714 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319188218</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-18821-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-18821-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)929991065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043208865</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jureta, Ivan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The design of requirements modelling languages</subfield><subfield code="b">how to make formalisms for problem solving in requirements engineering</subfield><subfield code="c">Ivan Jureta</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XII, 286 Seiten, 54 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-18820-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632025</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-18821-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043208865 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:33Z |
| institution | BVB |
| isbn | 9783319188218 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632025 |
| oclc_num | 929991065 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-634 DE-860 DE-861 DE-739 |
| physical | 1 Online Ressource (XII, 286 Seiten, 54 illus) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| spelling | Jureta, Ivan Verfasser aut The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering Ivan Jureta Cham Springer [2015] © 2015 1 Online Ressource (XII, 286 Seiten, 54 illus) txt rdacontent c rdamedia cr rdacarrier 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 Informatik Künstliche Intelligenz Erscheint auch als Druckausgabe 978-3-319-18820-1 https://doi.org/10.1007/978-3-319-18821-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Jureta, Ivan The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering 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 Informatik Künstliche Intelligenz |
| title | The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering |
| title_auth | The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering |
| title_exact_search | The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering |
| title_full | The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering Ivan Jureta |
| title_fullStr | The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering Ivan Jureta |
| title_full_unstemmed | The design of requirements modelling languages how to make formalisms for problem solving in requirements engineering Ivan Jureta |
| title_short | The design of requirements modelling languages |
| title_sort | the design of requirements modelling languages how to make formalisms for problem solving in requirements engineering |
| title_sub | how to make formalisms for problem solving in requirements engineering |
| topic | 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 Informatik Künstliche Intelligenz |
| topic_facet | 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 Informatik Künstliche Intelligenz |
| url | https://doi.org/10.1007/978-3-319-18821-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632025&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT juretaivan thedesignofrequirementsmodellinglanguageshowtomakeformalismsforproblemsolvinginrequirementsengineering |