New trends in software methodologies, tools and techniques: proceedings of the fifth SoMeT 06
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
c2006
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications
v. 147 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references and index Software is the essential enabler for the new economy and science. This book presents a number of trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society Title page; Preface; SoMeT Organization; Contents; Software Specification and Comprehension Models; Software Development and Related Methodologies; Network Security and Applications; Software Security and Program Bugs; Validation and Diagnosis and Practical Artefacts on Software Security; Program Conversion and Related Software Validation; Intelligent Software Design and Maintenance; End User Requirement Engineering and Testing; Author Index |
| Beschreibung: | 1 Online-Ressource (xiii, 475 p.) |
| ISBN: | 1429419083 1586036734 1607502062 9781429419086 9781586036737 9781607502067 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043093348 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2006 |||| o||u| ||||||eng d | ||
| 020 | |a 1429419083 |c electronic bk. |9 1-4294-1908-3 | ||
| 020 | |a 1586036734 |9 1-58603-673-4 | ||
| 020 | |a 1607502062 |9 1-60750-206-2 | ||
| 020 | |a 9781429419086 |c electronic bk. |9 978-1-4294-1908-6 | ||
| 020 | |a 9781586036737 |9 978-1-58603-673-7 | ||
| 020 | |a 9781607502067 |9 978-1-60750-206-7 | ||
| 035 | |a (OCoLC)79870849 | ||
| 035 | |a (DE-599)BVBBV043093348 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.1 |2 22 | |
| 110 | 2 | |a International Conference on New Trends in Software Methodologies, Tools and Techniques < 2006, Quebec, Canada> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a New trends in software methodologies, tools and techniques |b proceedings of the fifth SoMeT 06 |c edited by Hamido Fujita and Mohamed Mejri |
| 264 | 1 | |a Amsterdam |b IOS Press |c c2006 | |
| 300 | |a 1 Online-Ressource (xiii, 475 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v v. 147 | |
| 500 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Software is the essential enabler for the new economy and science. This book presents a number of trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society | ||
| 500 | |a Title page; Preface; SoMeT Organization; Contents; Software Specification and Comprehension Models; Software Development and Related Methodologies; Network Security and Applications; Software Security and Program Bugs; Validation and Diagnosis and Practical Artefacts on Software Security; Program Conversion and Related Software Validation; Intelligent Software Design and Maintenance; End User Requirement Engineering and Testing; Author Index | ||
| 650 | 7 | |a COMPUTERS / Programming / Open Source |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / General |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Computer software / Development |2 fast | |
| 650 | 7 | |a Expert systems (Computer science) |2 fast | |
| 650 | 7 | |a Software engineering |2 fast | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 4 | |a Expert systems (Computer science) |v Congresses | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Fujita, Hamido |e Sonstige |4 oth | |
| 700 | 1 | |a Mejri, Mohamed |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028517540 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175496299151360 |
|---|---|
| any_adam_object | |
| author_corporate | International Conference on New Trends in Software Methodologies, Tools and Techniques < 2006, Quebec, Canada> |
| author_corporate_role | aut |
| author_facet | International Conference on New Trends in Software Methodologies, Tools and Techniques < 2006, Quebec, Canada> |
| author_sort | International Conference on New Trends in Software Methodologies, Tools and Techniques < 2006, Quebec, Canada> |
| building | Verbundindex |
| bvnumber | BV043093348 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)79870849 (DE-599)BVBBV043093348 |
| 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 eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03613nmm a2200613zcb4500</leader><controlfield tag="001">BV043093348</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2006 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1429419083</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4294-1908-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586036734</subfield><subfield code="9">1-58603-673-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607502062</subfield><subfield code="9">1-60750-206-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781429419086</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4294-1908-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586036737</subfield><subfield code="9">978-1-58603-673-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607502067</subfield><subfield code="9">978-1-60750-206-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)79870849</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043093348</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">International Conference on New Trends in Software Methodologies, Tools and Techniques < 2006, Quebec, Canada></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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 fifth SoMeT 06</subfield><subfield code="c">edited by Hamido Fujita and Mohamed Mejri</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">c2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 475 p.)</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="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">v. 147</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Software is the essential enabler for the new economy and science. This book presents a number of trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title page; Preface; SoMeT Organization; Contents; Software Specification and Comprehension Models; Software Development and Related Methodologies; Network Security and Applications; Software Security and Program Bugs; Validation and Diagnosis and Practical Artefacts on Software Security; Program Conversion and Related Software Validation; Intelligent Software Design and Maintenance; End User Requirement Engineering and Testing; Author Index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Programming / Open Source</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Development</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Expert systems (Computer science)</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="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fujita, Hamido</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mejri, Mohamed</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028517540</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043093348 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:13Z |
| institution | BVB |
| isbn | 1429419083 1586036734 1607502062 9781429419086 9781586036737 9781607502067 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028517540 |
| oclc_num | 79870849 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xiii, 475 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | International Conference on New Trends in Software Methodologies, Tools and Techniques < 2006, Quebec, Canada> Verfasser aut New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 edited by Hamido Fujita and Mohamed Mejri Amsterdam IOS Press c2006 1 Online-Ressource (xiii, 475 p.) txt rdacontent c rdamedia cr rdacarrier Frontiers in artificial intelligence and applications v. 147 Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references and index Software is the essential enabler for the new economy and science. This book presents a number of trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society Title page; Preface; SoMeT Organization; Contents; Software Specification and Comprehension Models; Software Development and Related Methodologies; Network Security and Applications; Software Security and Program Bugs; Validation and Diagnosis and Practical Artefacts on Software Security; Program Conversion and Related Software Validation; Intelligent Software Design and Maintenance; End User Requirement Engineering and Testing; Author Index COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Artificial intelligence fast Computer software / Development fast Expert systems (Computer science) fast Software engineering fast Künstliche Intelligenz Software engineering Congresses Expert systems (Computer science) Congresses Artificial intelligence Congresses Computer software Development Congresses (DE-588)1071861417 Konferenzschrift gnd-content Fujita, Hamido Sonstige oth Mejri, Mohamed Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066 Aggregator Volltext |
| spellingShingle | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Artificial intelligence fast Computer software / Development fast Expert systems (Computer science) fast Software engineering fast Künstliche Intelligenz Software engineering Congresses Expert systems (Computer science) Congresses Artificial intelligence Congresses Computer software Development Congresses |
| subject_GND | (DE-588)1071861417 |
| title | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 |
| title_auth | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 |
| title_exact_search | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 |
| title_full | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 edited by Hamido Fujita and Mohamed Mejri |
| title_fullStr | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 edited by Hamido Fujita and Mohamed Mejri |
| title_full_unstemmed | New trends in software methodologies, tools and techniques proceedings of the fifth SoMeT 06 edited by Hamido Fujita and Mohamed Mejri |
| title_short | New trends in software methodologies, tools and techniques |
| title_sort | new trends in software methodologies tools and techniques proceedings of the fifth somet 06 |
| title_sub | proceedings of the fifth SoMeT 06 |
| topic | COMPUTERS / Programming / Open Source bisacsh COMPUTERS / Software Development & Engineering / Tools bisacsh COMPUTERS / Software Development & Engineering / General bisacsh Artificial intelligence fast Computer software / Development fast Expert systems (Computer science) fast Software engineering fast Künstliche Intelligenz Software engineering Congresses Expert systems (Computer science) Congresses Artificial intelligence Congresses Computer software Development Congresses |
| topic_facet | COMPUTERS / Programming / Open Source COMPUTERS / Software Development & Engineering / Tools COMPUTERS / Software Development & Engineering / General Artificial intelligence Computer software / Development Expert systems (Computer science) Software engineering Künstliche Intelligenz Software engineering Congresses Expert systems (Computer science) Congresses Artificial intelligence Congresses Computer software Development Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176066 |
| work_keys_str_mv | AT internationalconferenceonnewtrendsinsoftwaremethodologiestoolsandtechniques2006quebeccanada newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsofthefifthsomet06 AT fujitahamido newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsofthefifthsomet06 AT mejrimohamed newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsofthefifthsomet06 |