New Trends in Software Methodologies, Tools and Techniques :: Proceedings of the Eleventh SoMeT_12 /
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2012.
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications ;
v. 246. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | International conference proceedings. Includes indexes. |
| Beschreibung: | 1 online resource |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781614991250 1614991251 9781614991243 1614991243 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn824140101 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 130114s2012 ne ob 101 0 eng d | ||
| 040 | |a IOSPR |b eng |e pn |c IOSPR |d N$T |d UKMGB |d E7B |d OCLCF |d OCLCO |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d NKT |d AZK |d COCUF |d AGLDB |d MOR |d PIFAG |d OCLCQ |d OCLCO |d U3W |d STF |d WRM |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d TKN |d OCLCQ |d M8D |d HS0 |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 016 | 7 | |a 016222512 |2 Uk | |
| 019 | |a 961605034 |a 962612125 |a 1055387468 |a 1065915576 |a 1081285915 | ||
| 020 | |a 9781614991250 |q (electronic bk.) | ||
| 020 | |a 1614991251 |q (electronic bk.) | ||
| 020 | |a 9781614991243 | ||
| 020 | |a 1614991243 | ||
| 035 | |a (OCoLC)824140101 |z (OCoLC)961605034 |z (OCoLC)962612125 |z (OCoLC)1055387468 |z (OCoLC)1065915576 |z (OCoLC)1081285915 | ||
| 037 | |a 9781614991250 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.758 |b .I58 2012 | |
| 072 | 7 | |a COM |x COM014000 |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 (11th : |d 2012 : |c Genoa, Italy) | |
| 245 | 1 | 0 | |a New Trends in Software Methodologies, Tools and Techniques : |b Proceedings of the Eleventh SoMeT_12 / |c edited by Hamido Fujita and Roberto Revetria. |
| 246 | 3 | |a SoMeT_12 | |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2012. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 246 | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes indexes. | ||
| 588 | 0 | |a Title page of PDF; (IOS Press; viewed on Jan. 14, 2013). | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Title Page; Preface; SoMeT_12 Organization; Contents; Chapter 1. Software Development; Using Wikis as Software Development Environments; Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees; Classification and Definitions of Business Logic for End-User-Initiative Development; Towards Model-Based Testing Patterns for Enhancing Agile Methodologies; Generic Process Framework for Developing High-Integrity Software; Chapter 2. Software System Verification and Aspect Engineering; Quantitative Model Checking of Knowledge | |
| 505 | 8 | |a A Probabilistic Verification Framework for SysML Activity DiagramsModeling and Programming with Roles: Introducing JavaStage; Continuation/Frame-Based Semantics for Aspect Matching and Weaving; Chapter 3. Software Based Learning System; Wikipedia Miner Engine: A Re-Usable e-Learning Service Based on a Virtual MVC Design Pattern; Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems; Units of Measure Analysis and Its Implementation for AIDA; Chapter 4. Business Oriented Software and Related Models | |
| 505 | 8 | |a Enhancing Business Process Management with a Constraint-Based ApproachA Graphical Method for Conceptual Modelling of Business and Software Scenarios; Knowledge Based Engineering System for Structural Optical Design; Decision Support System for Handling Interruption in Tasks for Workers; Chapter 5. Theory and Practices on Software; Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories; Principle of Documents for Systems Design -- Part 2: Sequential Case; An Introduction to Software Mining; Chapter 6. Intelligent System and User Interaction | |
| 505 | 8 | |a Personality Estimation Application for Social MediaFuzzy Reasoning for Medical Diagnosis Based on Type-2 Fuzzy Aggregation; An Idea of Improvement Decision Tree Learning Using Cluster Analysis; Chapter 7. System Ontology and System Engineering; New Ergonomic Metrics for Educational Ontology Design and Evaluation; A System for Building Image Ontologies from Web Information Sources; Asymmetric Agreement in Pronominal Anaphora; Chapter 8. Information System Applications; Digital TV as Monitoring System for Elderly People Health Care | |
| 505 | 8 | |a Telecardiology for Preventing Sudden Cardiac Death in Young People: An Italian High Schools Pilot StudyA High-Level Programming Approach for Distributed Systems with Accelerators; Chapter 9. System Assessment Modeling; An Economic Order Policy Assessment Model Based on a Customized AHP; Optimization of a Condition Based Maintenance Based on Costs and Safety in Production Line; Planning of Supply Chain Risks in a Make-to-Stock Context Through a System Dynamics Approach; Chapter 10. Intelligent Software for Planning and Manufacturing System | |
| 650 | 0 | |a Software engineering |v Congresses. | |
| 650 | 0 | |a Computer software |x Development |v Congresses. | |
| 650 | 0 | |a Artificial intelligence |v Congresses. | |
| 650 | 6 | |a Génie logiciel |v Congrès. | |
| 650 | 6 | |a Intelligence artificielle |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 Artificial intelligence |2 fast | |
| 650 | 7 | |a Computer software |x Development |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 Revetria, Roberto. | |
| 710 | 2 | |a IOS Press. |0 http://id.loc.gov/authorities/names/no2015091156 | |
| 758 | |i has work: |a New Trends in Software Methodologies, Tools and Techniques (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGrRFcC44H6PVHRBqWv4dP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a International Conference on New Trends in Software Methodologies, Tools and Techniques (11th : 2012 : Genoa, Italy). |t New Trends in Software Methodologies, Tools and Techniques. |d Amsterdam ; Washington, D.C. : IOS Press, ©2012 |w (DLC) 2012946285 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 246. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 856 | 1 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=529580 |3 Volltext | |
| 856 | 1 | |l CBO01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=529580 |3 Volltext | |
| 938 | |a ebrary |b EBRY |n ebr10641767 | ||
| 938 | |a EBSCOhost |b EBSC |n 529580 | ||
| 938 | |a YBP Library Services |b YANK |n 9961227 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn824140101 |
|---|---|
| _version_ | 1813903597493026816 |
| adam_text | |
| any_adam_object | |
| author2 | Fujita, Hamido Revetria, Roberto |
| author2_role | |
| author2_variant | h f hf r r rr |
| author_GND | http://id.loc.gov/authorities/names/n2003001698 |
| author_corporate | International Conference on New Trends in Software Methodologies, Tools and Techniques Genoa, Italy IOS Press |
| author_corporate_role | |
| author_facet | Fujita, Hamido Revetria, Roberto International Conference on New Trends in Software Methodologies, Tools and Techniques Genoa, Italy IOS Press |
| author_sort | International Conference on New Trends in Software Methodologies, Tools and Techniques Genoa, Italy |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 .I58 2012 |
| callnumber-search | QA76.758 .I58 2012 |
| callnumber-sort | QA 276.758 I58 42012 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Title Page; Preface; SoMeT_12 Organization; Contents; Chapter 1. Software Development; Using Wikis as Software Development Environments; Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees; Classification and Definitions of Business Logic for End-User-Initiative Development; Towards Model-Based Testing Patterns for Enhancing Agile Methodologies; Generic Process Framework for Developing High-Integrity Software; Chapter 2. Software System Verification and Aspect Engineering; Quantitative Model Checking of Knowledge A Probabilistic Verification Framework for SysML Activity DiagramsModeling and Programming with Roles: Introducing JavaStage; Continuation/Frame-Based Semantics for Aspect Matching and Weaving; Chapter 3. Software Based Learning System; Wikipedia Miner Engine: A Re-Usable e-Learning Service Based on a Virtual MVC Design Pattern; Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems; Units of Measure Analysis and Its Implementation for AIDA; Chapter 4. Business Oriented Software and Related Models Enhancing Business Process Management with a Constraint-Based ApproachA Graphical Method for Conceptual Modelling of Business and Software Scenarios; Knowledge Based Engineering System for Structural Optical Design; Decision Support System for Handling Interruption in Tasks for Workers; Chapter 5. Theory and Practices on Software; Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories; Principle of Documents for Systems Design -- Part 2: Sequential Case; An Introduction to Software Mining; Chapter 6. Intelligent System and User Interaction Personality Estimation Application for Social MediaFuzzy Reasoning for Medical Diagnosis Based on Type-2 Fuzzy Aggregation; An Idea of Improvement Decision Tree Learning Using Cluster Analysis; Chapter 7. System Ontology and System Engineering; New Ergonomic Metrics for Educational Ontology Design and Evaluation; A System for Building Image Ontologies from Web Information Sources; Asymmetric Agreement in Pronominal Anaphora; Chapter 8. Information System Applications; Digital TV as Monitoring System for Elderly People Health Care Telecardiology for Preventing Sudden Cardiac Death in Young People: An Italian High Schools Pilot StudyA High-Level Programming Approach for Distributed Systems with Accelerators; Chapter 9. System Assessment Modeling; An Economic Order Policy Assessment Model Based on a Customized AHP; Optimization of a Condition Based Maintenance Based on Costs and Safety in Production Line; Planning of Supply Chain Risks in a Make-to-Stock Context Through a System Dynamics Approach; Chapter 10. Intelligent Software for Planning and Manufacturing System |
| ctrlnum | (OCoLC)824140101 |
| 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>06618cam a2200793 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn824140101</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">130114s2012 ne ob 101 0 eng d</controlfield><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">UKMGB</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">NKT</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</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">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">016222512</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961605034</subfield><subfield code="a">962612125</subfield><subfield code="a">1055387468</subfield><subfield code="a">1065915576</subfield><subfield code="a">1081285915</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614991250</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614991251</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614991243</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614991243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)824140101</subfield><subfield code="z">(OCoLC)961605034</subfield><subfield code="z">(OCoLC)962612125</subfield><subfield code="z">(OCoLC)1055387468</subfield><subfield code="z">(OCoLC)1065915576</subfield><subfield code="z">(OCoLC)1081285915</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">9781614991250</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 2012</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM014000</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">(11th :</subfield><subfield code="d">2012 :</subfield><subfield code="c">Genoa, Italy)</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 Eleventh SoMeT_12 /</subfield><subfield code="c">edited by Hamido Fujita and Roberto Revetria.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">SoMeT_12</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">©2012.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 246</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Title page of PDF; (IOS Press; viewed on Jan. 14, 2013).</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Title Page; Preface; SoMeT_12 Organization; Contents; Chapter 1. Software Development; Using Wikis as Software Development Environments; Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees; Classification and Definitions of Business Logic for End-User-Initiative Development; Towards Model-Based Testing Patterns for Enhancing Agile Methodologies; Generic Process Framework for Developing High-Integrity Software; Chapter 2. Software System Verification and Aspect Engineering; Quantitative Model Checking of Knowledge</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">A Probabilistic Verification Framework for SysML Activity DiagramsModeling and Programming with Roles: Introducing JavaStage; Continuation/Frame-Based Semantics for Aspect Matching and Weaving; Chapter 3. Software Based Learning System; Wikipedia Miner Engine: A Re-Usable e-Learning Service Based on a Virtual MVC Design Pattern; Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems; Units of Measure Analysis and Its Implementation for AIDA; Chapter 4. Business Oriented Software and Related Models</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Enhancing Business Process Management with a Constraint-Based ApproachA Graphical Method for Conceptual Modelling of Business and Software Scenarios; Knowledge Based Engineering System for Structural Optical Design; Decision Support System for Handling Interruption in Tasks for Workers; Chapter 5. Theory and Practices on Software; Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories; Principle of Documents for Systems Design -- Part 2: Sequential Case; An Introduction to Software Mining; Chapter 6. Intelligent System and User Interaction</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Personality Estimation Application for Social MediaFuzzy Reasoning for Medical Diagnosis Based on Type-2 Fuzzy Aggregation; An Idea of Improvement Decision Tree Learning Using Cluster Analysis; Chapter 7. System Ontology and System Engineering; New Ergonomic Metrics for Educational Ontology Design and Evaluation; A System for Building Image Ontologies from Web Information Sources; Asymmetric Agreement in Pronominal Anaphora; Chapter 8. Information System Applications; Digital TV as Monitoring System for Elderly People Health Care</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Telecardiology for Preventing Sudden Cardiac Death in Young People: An Italian High Schools Pilot StudyA High-Level Programming Approach for Distributed Systems with Accelerators; Chapter 9. System Assessment Modeling; An Economic Order Policy Assessment Model Based on a Customized AHP; Optimization of a Condition Based Maintenance Based on Costs and Safety in Production Line; Planning of Supply Chain Risks in a Make-to-Stock Context Through a System Dynamics Approach; Chapter 10. Intelligent Software for Planning and Manufacturing System</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">Artificial intelligence</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">Intelligence artificielle</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">Artificial intelligence</subfield><subfield code="2">fast</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">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">Revetria, Roberto.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IOS Press.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2015091156</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">New Trends in Software Methodologies, Tools and Techniques (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGrRFcC44H6PVHRBqWv4dP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">International Conference on New Trends in Software Methodologies, Tools and Techniques (11th : 2012 : Genoa, Italy).</subfield><subfield code="t">New Trends in Software Methodologies, Tools and Techniques.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : IOS Press, ©2012</subfield><subfield code="w">(DLC) 2012946285</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 246.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><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=529580</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</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=529580</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10641767</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">529580</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9961227</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></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn824140101 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-25T16:21:13Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2015091156 |
| isbn | 9781614991250 1614991251 9781614991243 1614991243 |
| language | English |
| oclc_num | 824140101 |
| open_access_boolean | |
| owner | MAIN |
| owner_facet | MAIN |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| 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 (11th : 2012 : Genoa, Italy) New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / edited by Hamido Fujita and Roberto Revetria. SoMeT_12 Amsterdam ; Washington, D.C. : IOS Press, ©2012. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Frontiers in artificial intelligence and applications ; v. 246 International conference proceedings. Includes indexes. Title page of PDF; (IOS Press; viewed on Jan. 14, 2013). Includes bibliographical references and index. Title Page; Preface; SoMeT_12 Organization; Contents; Chapter 1. Software Development; Using Wikis as Software Development Environments; Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees; Classification and Definitions of Business Logic for End-User-Initiative Development; Towards Model-Based Testing Patterns for Enhancing Agile Methodologies; Generic Process Framework for Developing High-Integrity Software; Chapter 2. Software System Verification and Aspect Engineering; Quantitative Model Checking of Knowledge A Probabilistic Verification Framework for SysML Activity DiagramsModeling and Programming with Roles: Introducing JavaStage; Continuation/Frame-Based Semantics for Aspect Matching and Weaving; Chapter 3. Software Based Learning System; Wikipedia Miner Engine: A Re-Usable e-Learning Service Based on a Virtual MVC Design Pattern; Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems; Units of Measure Analysis and Its Implementation for AIDA; Chapter 4. Business Oriented Software and Related Models Enhancing Business Process Management with a Constraint-Based ApproachA Graphical Method for Conceptual Modelling of Business and Software Scenarios; Knowledge Based Engineering System for Structural Optical Design; Decision Support System for Handling Interruption in Tasks for Workers; Chapter 5. Theory and Practices on Software; Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories; Principle of Documents for Systems Design -- Part 2: Sequential Case; An Introduction to Software Mining; Chapter 6. Intelligent System and User Interaction Personality Estimation Application for Social MediaFuzzy Reasoning for Medical Diagnosis Based on Type-2 Fuzzy Aggregation; An Idea of Improvement Decision Tree Learning Using Cluster Analysis; Chapter 7. System Ontology and System Engineering; New Ergonomic Metrics for Educational Ontology Design and Evaluation; A System for Building Image Ontologies from Web Information Sources; Asymmetric Agreement in Pronominal Anaphora; Chapter 8. Information System Applications; Digital TV as Monitoring System for Elderly People Health Care Telecardiology for Preventing Sudden Cardiac Death in Young People: An Italian High Schools Pilot StudyA High-Level Programming Approach for Distributed Systems with Accelerators; Chapter 9. System Assessment Modeling; An Economic Order Policy Assessment Model Based on a Customized AHP; Optimization of a Condition Based Maintenance Based on Costs and Safety in Production Line; Planning of Supply Chain Risks in a Make-to-Stock Context Through a System Dynamics Approach; Chapter 10. Intelligent Software for Planning and Manufacturing System Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering General. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh Artificial intelligence fast Computer software Development fast Software engineering fast Conference papers and proceedings fast Fujita, Hamido. http://id.loc.gov/authorities/names/n2003001698 Revetria, Roberto. IOS Press. http://id.loc.gov/authorities/names/no2015091156 has work: New Trends in Software Methodologies, Tools and Techniques (Text) https://id.oclc.org/worldcat/entity/E39PCGrRFcC44H6PVHRBqWv4dP https://id.oclc.org/worldcat/ontology/hasWork Print version: International Conference on New Trends in Software Methodologies, Tools and Techniques (11th : 2012 : Genoa, Italy). New Trends in Software Methodologies, Tools and Techniques. Amsterdam ; Washington, D.C. : IOS Press, ©2012 (DLC) 2012946285 Frontiers in artificial intelligence and applications ; v. 246. 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=529580 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=529580 Volltext |
| spellingShingle | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / Frontiers in artificial intelligence and applications ; Title Page; Preface; SoMeT_12 Organization; Contents; Chapter 1. Software Development; Using Wikis as Software Development Environments; Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees; Classification and Definitions of Business Logic for End-User-Initiative Development; Towards Model-Based Testing Patterns for Enhancing Agile Methodologies; Generic Process Framework for Developing High-Integrity Software; Chapter 2. Software System Verification and Aspect Engineering; Quantitative Model Checking of Knowledge A Probabilistic Verification Framework for SysML Activity DiagramsModeling and Programming with Roles: Introducing JavaStage; Continuation/Frame-Based Semantics for Aspect Matching and Weaving; Chapter 3. Software Based Learning System; Wikipedia Miner Engine: A Re-Usable e-Learning Service Based on a Virtual MVC Design Pattern; Experiential Human-Computer Interaction in Collaborative Designing of Software Intensive Systems; Units of Measure Analysis and Its Implementation for AIDA; Chapter 4. Business Oriented Software and Related Models Enhancing Business Process Management with a Constraint-Based ApproachA Graphical Method for Conceptual Modelling of Business and Software Scenarios; Knowledge Based Engineering System for Structural Optical Design; Decision Support System for Handling Interruption in Tasks for Workers; Chapter 5. Theory and Practices on Software; Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories; Principle of Documents for Systems Design -- Part 2: Sequential Case; An Introduction to Software Mining; Chapter 6. Intelligent System and User Interaction Personality Estimation Application for Social MediaFuzzy Reasoning for Medical Diagnosis Based on Type-2 Fuzzy Aggregation; An Idea of Improvement Decision Tree Learning Using Cluster Analysis; Chapter 7. System Ontology and System Engineering; New Ergonomic Metrics for Educational Ontology Design and Evaluation; A System for Building Image Ontologies from Web Information Sources; Asymmetric Agreement in Pronominal Anaphora; Chapter 8. Information System Applications; Digital TV as Monitoring System for Elderly People Health Care Telecardiology for Preventing Sudden Cardiac Death in Young People: An Italian High Schools Pilot StudyA High-Level Programming Approach for Distributed Systems with Accelerators; Chapter 9. System Assessment Modeling; An Economic Order Policy Assessment Model Based on a Customized AHP; Optimization of a Condition Based Maintenance Based on Costs and Safety in Production Line; Planning of Supply Chain Risks in a Make-to-Stock Context Through a System Dynamics Approach; Chapter 10. Intelligent Software for Planning and Manufacturing System Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering General. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh Artificial intelligence fast Computer software Development fast Software engineering fast |
| title | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / |
| title_alt | SoMeT_12 |
| title_auth | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / |
| title_exact_search | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / |
| title_full | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / edited by Hamido Fujita and Roberto Revetria. |
| title_fullStr | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / edited by Hamido Fujita and Roberto Revetria. |
| title_full_unstemmed | New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Eleventh SoMeT_12 / edited by Hamido Fujita and Roberto Revetria. |
| title_short | New Trends in Software Methodologies, Tools and Techniques : |
| title_sort | new trends in software methodologies tools and techniques proceedings of the eleventh somet 12 |
| title_sub | Proceedings of the Eleventh SoMeT_12 / |
| topic | Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. COMPUTERS Programming Open Source. bisacsh COMPUTERS Software Development & Engineering General. bisacsh COMPUTERS Software Development & Engineering Tools. bisacsh Artificial intelligence fast Computer software Development fast Software engineering fast |
| topic_facet | Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. COMPUTERS Programming Open Source. COMPUTERS Software Development & Engineering General. COMPUTERS Software Development & Engineering Tools. Artificial intelligence Computer software Development Software engineering Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=529580 |
| work_keys_str_mv | AT internationalconferenceonnewtrendsinsoftwaremethodologiestoolsandtechniquesgenoaitaly newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsoftheeleventhsomet12 AT fujitahamido newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsoftheeleventhsomet12 AT revetriaroberto newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsoftheeleventhsomet12 AT iospress newtrendsinsoftwaremethodologiestoolsandtechniquesproceedingsoftheeleventhsomet12 AT internationalconferenceonnewtrendsinsoftwaremethodologiestoolsandtechniquesgenoaitaly somet12 AT fujitahamido somet12 AT revetriaroberto somet12 AT iospress somet12 |