New Trends in Software Methodologies, Tools and Techniques :: Proceedings of the Tenth SoMeT_11 /
Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2011.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 231. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the tenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_11), held in St Petersburg, Russia, in September 2011. Th. |
| Beschreibung: | 1 online resource (xiii, 347 pages) |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781607508311 1607508311 1283290022 9781283290029 6613290025 9786613290021 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn772634049 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 120113s2011 ne ob 101 0 eng d | ||
| 010 | |z 2011936665 | ||
| 040 | |a IOSPR |b eng |e pn |c IOSPR |d N$T |d E7B |d VPI |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCO |d EBLCP |d YDXCP |d UKMGB |d OCLCF |d IDEBK |d OCLCO |d OCLCQ |d OCLCO |d NKT |d OCLCO |d OCL |d OCLCO |d LOA |d JBG |d COCUF |d AGLDB |d MOR |d PIFAG |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d ICG |d INT |d VT2 |d AU@ |d OCLCQ |d WYU |d TKN |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCLCQ |d VLY |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 016 | 7 | |a 016024612 |2 Uk | |
| 019 | |a 756484736 |a 778615369 |a 816866134 |a 961630155 |a 962608164 |a 966205354 |a 988457262 |a 992037113 |a 1028942108 |a 1038669009 |a 1045598338 |a 1055351061 |a 1058126684 |a 1066586180 |a 1081244242 |a 1162192081 |a 1228602015 |a 1241867938 |a 1290100493 |a 1300639029 | ||
| 020 | |a 9781607508311 |q (electronic bk.) | ||
| 020 | |a 1607508311 |q (electronic bk.) | ||
| 020 | |a 1283290022 | ||
| 020 | |a 9781283290029 | ||
| 020 | |z 9781607508304 |q (print) | ||
| 020 | |z 1607508303 |q (print) | ||
| 020 | |a 6613290025 | ||
| 020 | |a 9786613290021 | ||
| 035 | |a (OCoLC)772634049 |z (OCoLC)756484736 |z (OCoLC)778615369 |z (OCoLC)816866134 |z (OCoLC)961630155 |z (OCoLC)962608164 |z (OCoLC)966205354 |z (OCoLC)988457262 |z (OCoLC)992037113 |z (OCoLC)1028942108 |z (OCoLC)1038669009 |z (OCoLC)1045598338 |z (OCoLC)1055351061 |z (OCoLC)1058126684 |z (OCoLC)1066586180 |z (OCoLC)1081244242 |z (OCoLC)1162192081 |z (OCoLC)1228602015 |z (OCoLC)1241867938 |z (OCoLC)1290100493 |z (OCoLC)1300639029 | ||
| 037 | |a 978-1-60750-831-1 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.758 |b .I58 2011eb | |
| 072 | 7 | |a COM |x COM004000 |2 bisacsh | |
| 072 | 7 | |a COM |x 051390 |2 bisacsh | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 072 | 7 | |a COM |x 051440 |2 bisacsh | |
| 082 | 7 | |a 005.1 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a International Conference on New Trends in Software Methodologies, Tools and Techniques |n (10th : |d 2011 : |c Saint Petersburg, Russia) | |
| 245 | 1 | 0 | |a New Trends in Software Methodologies, Tools and Techniques : |b Proceedings of the Tenth SoMeT_11 / |c edited by Hamido Fujita and Tatiana Gavrilova. |
| 246 | 3 | |a SoMeT_11 | |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2011. | ||
| 300 | |a 1 online resource (xiii, 347 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 231 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBL, viewed March 14, 2012). | |
| 505 | 0 | |a Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; Chapter 2. Interactive Software Development; Chapter 3. Software Quality and Development -- Case Studies; Chapter 4. Multi-Agent Software and Learning Systems; Chapter 5. Ontological Views on Software Developments; Chapter 6. Intelligent User Interaction and Software; Chapter 7. Information Systems Applications; Subject Index; Author Index. | |
| 520 | |a Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the tenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_11), held in St Petersburg, Russia, in September 2011. Th. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer software |x Development |v Congresses. | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 6 | |a Logiciels |x Vérification |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Programming |x Open Source. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x Tools. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Development |2 fast | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Fujita, Hamido. |0 http://id.loc.gov/authorities/names/n2003001698 | |
| 700 | 1 | |a Gavrilova, T. A. |q (Tatʹiana Alʹbertovna) |1 https://id.oclc.org/worldcat/entity/E39PCjCCcp6DJWXFK3VTk64Jfy |0 http://id.loc.gov/authorities/names/n94002606 | |
| 776 | 0 | 8 | |i Print version: |a Fujita, H. |t New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11. |d Amsterdam : IOS Press, ©2011 |z 9781607508304 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 231. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=395271 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL784602 | ||
| 938 | |a ebrary |b EBRY |n ebr10524253 | ||
| 938 | |a EBSCOhost |b EBSC |n 395271 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 329002 | ||
| 938 | |a YBP Library Services |b YANK |n 7162311 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn772634049 |
|---|---|
| _version_ | 1816881782398648321 |
| adam_text | |
| any_adam_object | |
| author2 | Fujita, Hamido Gavrilova, T. A. (Tatʹiana Alʹbertovna) |
| author2_role | |
| author2_variant | h f hf t a g ta tag |
| author_GND | http://id.loc.gov/authorities/names/n2003001698 http://id.loc.gov/authorities/names/n94002606 |
| author_corporate | International Conference on New Trends in Software Methodologies, Tools and Techniques Saint Petersburg, Russia |
| author_corporate_role | |
| author_facet | Fujita, Hamido Gavrilova, T. A. (Tatʹiana Alʹbertovna) International Conference on New Trends in Software Methodologies, Tools and Techniques Saint Petersburg, Russia |
| author_sort | International Conference on New Trends in Software Methodologies, Tools and Techniques Saint Petersburg, Russia |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 .I58 2011eb |
| callnumber-search | QA76.758 .I58 2011eb |
| callnumber-sort | QA 276.758 I58 42011EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; Chapter 2. Interactive Software Development; Chapter 3. Software Quality and Development -- Case Studies; Chapter 4. Multi-Agent Software and Learning Systems; Chapter 5. Ontological Views on Software Developments; Chapter 6. Intelligent User Interaction and Software; Chapter 7. Information Systems Applications; Subject Index; Author Index. |
| ctrlnum | (OCoLC)772634049 |
| 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 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05439cam a2200793 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn772634049</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">120113s2011 ne ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2011936665</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IOSPR</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">IOSPR</subfield><subfield code="d">N$T</subfield><subfield code="d">E7B</subfield><subfield code="d">VPI</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">YDXCP</subfield><subfield code="d">UKMGB</subfield><subfield code="d">OCLCF</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">NKT</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VLY</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">016024612</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">756484736</subfield><subfield code="a">778615369</subfield><subfield code="a">816866134</subfield><subfield code="a">961630155</subfield><subfield code="a">962608164</subfield><subfield code="a">966205354</subfield><subfield code="a">988457262</subfield><subfield code="a">992037113</subfield><subfield code="a">1028942108</subfield><subfield code="a">1038669009</subfield><subfield code="a">1045598338</subfield><subfield code="a">1055351061</subfield><subfield code="a">1058126684</subfield><subfield code="a">1066586180</subfield><subfield code="a">1081244242</subfield><subfield code="a">1162192081</subfield><subfield code="a">1228602015</subfield><subfield code="a">1241867938</subfield><subfield code="a">1290100493</subfield><subfield code="a">1300639029</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607508311</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607508311</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1283290022</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283290029</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607508304</subfield><subfield code="q">(print)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1607508303</subfield><subfield code="q">(print)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6613290025</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786613290021</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)772634049</subfield><subfield code="z">(OCoLC)756484736</subfield><subfield code="z">(OCoLC)778615369</subfield><subfield code="z">(OCoLC)816866134</subfield><subfield code="z">(OCoLC)961630155</subfield><subfield code="z">(OCoLC)962608164</subfield><subfield code="z">(OCoLC)966205354</subfield><subfield code="z">(OCoLC)988457262</subfield><subfield code="z">(OCoLC)992037113</subfield><subfield code="z">(OCoLC)1028942108</subfield><subfield code="z">(OCoLC)1038669009</subfield><subfield code="z">(OCoLC)1045598338</subfield><subfield code="z">(OCoLC)1055351061</subfield><subfield code="z">(OCoLC)1058126684</subfield><subfield code="z">(OCoLC)1066586180</subfield><subfield code="z">(OCoLC)1081244242</subfield><subfield code="z">(OCoLC)1162192081</subfield><subfield code="z">(OCoLC)1228602015</subfield><subfield code="z">(OCoLC)1241867938</subfield><subfield code="z">(OCoLC)1290100493</subfield><subfield code="z">(OCoLC)1300639029</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-60750-831-1</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.758</subfield><subfield code="b">.I58 2011eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051390</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051230</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051440</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on New Trends in Software Methodologies, Tools and Techniques</subfield><subfield code="n">(10th :</subfield><subfield code="d">2011 :</subfield><subfield code="c">Saint Petersburg, Russia)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">New Trends in Software Methodologies, Tools and Techniques :</subfield><subfield code="b">Proceedings of the Tenth SoMeT_11 /</subfield><subfield code="c">edited by Hamido Fujita and Tatiana Gavrilova.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">SoMeT_11</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2011.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 347 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 231</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBL, viewed March 14, 2012).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; Chapter 2. Interactive Software Development; Chapter 3. Software Quality and Development -- Case Studies; Chapter 4. Multi-Agent Software and Learning Systems; Chapter 5. Ontological Views on Software Developments; Chapter 6. Intelligent User Interaction and Software; Chapter 7. Information Systems Applications; Subject Index; Author Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the tenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_11), held in St Petersburg, Russia, in September 2011. Th.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Génie logiciel</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels</subfield><subfield code="x">Vérification</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming</subfield><subfield code="x">Open Source.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Software Development & Engineering</subfield><subfield code="x">Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software engineering</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fujita, Hamido.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2003001698</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gavrilova, T. A.</subfield><subfield code="q">(Tatʹiana Alʹbertovna)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjCCcp6DJWXFK3VTk64Jfy</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94002606</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Fujita, H.</subfield><subfield code="t">New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11.</subfield><subfield code="d">Amsterdam : IOS Press, ©2011</subfield><subfield code="z">9781607508304</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 231.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=395271</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL784602</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10524253</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">395271</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">329002</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7162311</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn772634049 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:18:11Z |
| institution | BVB |
| isbn | 9781607508311 1607508311 1283290022 9781283290029 6613290025 9786613290021 |
| language | English |
| oclc_num | 772634049 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiii, 347 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | International Conference on New Trends in Software Methodologies, Tools and Techniques (10th : 2011 : Saint Petersburg, Russia) New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova. SoMeT_11 Amsterdam ; Washington, D.C. : IOS Press, ©2011. 1 online resource (xiii, 347 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Frontiers in artificial intelligence and applications ; v. 231 Includes bibliographical references and index. Online resource; title from PDF title page (EBL, viewed March 14, 2012). Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; Chapter 2. Interactive Software Development; Chapter 3. Software Quality and Development -- Case Studies; Chapter 4. Multi-Agent Software and Learning Systems; Chapter 5. Ontological Views on Software Developments; Chapter 6. Intelligent User Interaction and Software; Chapter 7. Information Systems Applications; Subject Index; Author Index. Software is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the tenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_11), held in St Petersburg, Russia, in September 2011. Th. English. Software engineering Congresses. Computer software Development Congresses. Computer software Verification Congresses. Génie logiciel Congrès. Logiciels Vérification Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering General. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh Computer software Development fast Computer software Verification fast Software engineering fast Conference papers and proceedings fast Fujita, Hamido. http://id.loc.gov/authorities/names/n2003001698 Gavrilova, T. A. (Tatʹiana Alʹbertovna) https://id.oclc.org/worldcat/entity/E39PCjCCcp6DJWXFK3VTk64Jfy http://id.loc.gov/authorities/names/n94002606 Print version: Fujita, H. New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11. Amsterdam : IOS Press, ©2011 9781607508304 Frontiers in artificial intelligence and applications ; v. 231. http://id.loc.gov/authorities/names/n92019289 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=395271 Volltext |
| spellingShingle | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / Frontiers in artificial intelligence and applications ; Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; Chapter 2. Interactive Software Development; Chapter 3. Software Quality and Development -- Case Studies; Chapter 4. Multi-Agent Software and Learning Systems; Chapter 5. Ontological Views on Software Developments; Chapter 6. Intelligent User Interaction and Software; Chapter 7. Information Systems Applications; Subject Index; Author Index. Software engineering Congresses. Computer software Development Congresses. Computer software Verification Congresses. Génie logiciel Congrès. Logiciels Vérification Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering General. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh Computer software Development fast Computer software Verification fast Software engineering fast |
| title | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / |
| title_alt | SoMeT_11 |
| title_auth | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / |
| title_exact_search | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / |
| title_full | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova. |
| title_fullStr | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova. |
| title_full_unstemmed | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Tenth SoMeT_11 / edited by Hamido Fujita and Tatiana Gavrilova. |
| title_short | New Trends in Software Methodologies, Tools and Techniques : |
| title_sort | new trends in software methodologies tools and techniques proceedings of the tenth somet 11 |
| title_sub | Proceedings of the Tenth SoMeT_11 / |
| topic | Software engineering Congresses. Computer software Development Congresses. Computer software Verification Congresses. Génie logiciel Congrès. Logiciels Vérification Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering General. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh Computer software Development fast Computer software Verification fast Software engineering fast |
| topic_facet | Software engineering Congresses. Computer software Development Congresses. Computer software Verification Congresses. Génie logiciel Congrès. Logiciels Vérification Congrès. COMPUTERS Programming Open Source. COMPUTERS Software Development & Engineering General. COMPUTERS Software Development & Engineering Tools. Computer software Development Computer software Verification Software engineering Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=395271 |
| work_keys_str_mv | AT internationalconferenceonnewtrendsinsoftwaremethodologiestoolsandtechniquessaintpetersburgrussia newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsofthetenthsomet11 AT fujitahamido newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsofthetenthsomet11 AT gavrilovata newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsofthetenthsomet11 AT internationalconferenceonnewtrendsinsoftwaremethodologiestoolsandtechniquessaintpetersburgrussia somet11 AT fujitahamido somet11 AT gavrilovata somet11 |