New trends in intelligent software methodologies, tools and techniques :: proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Amsterdam :
IOS Press,
2021.
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 337. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Item Description: | Includes indexes. |
| Physical Description: | 1 online resource |
| ISBN: | 9781643681955 1643681958 |
Staff View
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-on1280277981 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 211024s2021 ne o 101 0 eng d | ||
| 040 | |a YDX |b eng |e pn |c YDX |d IOSPR |d N$T |d EBLCP |d OCLCF |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 1280197341 | ||
| 020 | |a 9781643681955 |q (electronic bk.) | ||
| 020 | |a 1643681958 |q (electronic bk.) | ||
| 020 | |z 164368194X | ||
| 020 | |z 9781643681948 | ||
| 035 | |a (OCoLC)1280277981 |z (OCoLC)1280197341 | ||
| 037 | |a 9781643681955 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.758 | |
| 082 | 7 | |a 005.1 |2 23 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques |n (20th : |d 2021 : |c Cancun, Mexico) | |
| 245 | 1 | 0 | |a New trends in intelligent software methodologies, tools and techniques : |b proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / |c edited by Hamido Fujita and Hector Perez-Meana. |
| 246 | 3 | |a SoMeT_21 | |
| 260 | |a Amsterdam : |b IOS Press, |c 2021. | ||
| 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 | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 337 | |
| 500 | |a Includes indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (IOS Press, viewed October 27, 2021). | |
| 505 | 0 | |a Intro -- Title Page -- Preface -- Conference Organization -- Contents -- Chapter 1. Software System with Intelligent Design -- Generating Program Identifier Dictionary for Maintaining Legacy Systems -- Protection of Mathematical Formulas Using Function Invariants -- Software Protection of Smart Household Appliances Against Over-Exploitation -- Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock Exchanges -- SELM: Software Engineering of Machine Learning Models -- Feature Reuse Across Software Releases During Software Evolution | |
| 505 | 8 | |a Chapter 2. Software Systems Security and Techniques -- Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage Services -- Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting -- Extreme Gradient Boosting for Cyberpropaganda Detection -- The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation -- LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber Attacks -- A Massively Parallel Approach to Automated Software Correctness Enhancement in Java | |
| 505 | 8 | |a Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings -- Chapter 3. Formal Techniques for System Software and Quality Assessment -- Building Normalized Systems from Domain Models in Ecore -- New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases -- Formal Event-B Modeling of the MICONIC Application -- Integrating Quality Assessment Through Metrics into Scrum Software Development -- Effort Estimation in Agile Software Development: A Systematic Mapping Study -- Engineering Platform as Integrated Software for Model Mediated Research | |
| 505 | 8 | |a Toward the Formalization of Business Process Model and Notation -- Chapter 4. Applied Intelligence in Software -- Introducing Interactivity in Disaster Recovery Simulations -- An Ontology for Modeling Vehicle Routing Problems -- LSTM-Based Mosquito Genus Classification Using Their Wingbeat Sound -- Acoustic Scenery Recognition Using CWT and Deep Neural Network -- Towards a New Approach for Intelligent BPM Based on Technologies 4.0 -- A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled Network -- Chapter 5. Intelligent Decision Support Systems | |
| 505 | 8 | |a Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform Extension -- Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork Cells -- AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive Communication -- An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in Vietnamese -- Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision Ensembles -- Proctors Assignment at the University of Information Technology -- VNU HCM | |
| 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 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 Perez-Meana, Hector, |d 1954- |1 https://id.oclc.org/worldcat/entity/E39PCjHDHQhVDJPj3Vr7D6mcRq |0 http://id.loc.gov/authorities/names/n2006078992 | |
| 758 | |i has work: |a New trends in intelligent software methodologies, tools and techniques (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGw8VJPT8WqfqyQMGrBvwP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 164368194X |z 9781643681948 |w (OCoLC)1269318274 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 337. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3069425 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=3069425 |3 Volltext |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL28912258 | ||
| 938 | |a EBSCOhost |b EBSC |n 3069425 | ||
| 938 | |a YBP Library Services |b YANK |n 302524463 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-on1280277981 |
|---|---|
| _version_ | 1829095361719828480 |
| adam_text | |
| any_adam_object | |
| author2 | Fujita, Hamido Perez-Meana, Hector, 1954- |
| author2_role | |
| author2_variant | h f hf h p m hpm |
| author_GND | http://id.loc.gov/authorities/names/n2003001698 http://id.loc.gov/authorities/names/n2006078992 |
| author_corporate | IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques Cancun, Mexico |
| author_corporate_role | |
| author_facet | Fujita, Hamido Perez-Meana, Hector, 1954- IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques Cancun, Mexico |
| author_sort | IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques Cancun, Mexico |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Intro -- Title Page -- Preface -- Conference Organization -- Contents -- Chapter 1. Software System with Intelligent Design -- Generating Program Identifier Dictionary for Maintaining Legacy Systems -- Protection of Mathematical Formulas Using Function Invariants -- Software Protection of Smart Household Appliances Against Over-Exploitation -- Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock Exchanges -- SELM: Software Engineering of Machine Learning Models -- Feature Reuse Across Software Releases During Software Evolution Chapter 2. Software Systems Security and Techniques -- Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage Services -- Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting -- Extreme Gradient Boosting for Cyberpropaganda Detection -- The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation -- LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber Attacks -- A Massively Parallel Approach to Automated Software Correctness Enhancement in Java Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings -- Chapter 3. Formal Techniques for System Software and Quality Assessment -- Building Normalized Systems from Domain Models in Ecore -- New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases -- Formal Event-B Modeling of the MICONIC Application -- Integrating Quality Assessment Through Metrics into Scrum Software Development -- Effort Estimation in Agile Software Development: A Systematic Mapping Study -- Engineering Platform as Integrated Software for Model Mediated Research Toward the Formalization of Business Process Model and Notation -- Chapter 4. Applied Intelligence in Software -- Introducing Interactivity in Disaster Recovery Simulations -- An Ontology for Modeling Vehicle Routing Problems -- LSTM-Based Mosquito Genus Classification Using Their Wingbeat Sound -- Acoustic Scenery Recognition Using CWT and Deep Neural Network -- Towards a New Approach for Intelligent BPM Based on Technologies 4.0 -- A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled Network -- Chapter 5. Intelligent Decision Support Systems Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform Extension -- Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork Cells -- AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive Communication -- An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in Vietnamese -- Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision Ensembles -- Proctors Assignment at the University of Information Technology -- VNU HCM |
| ctrlnum | (OCoLC)1280277981 |
| 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>05913cam a2200649 a 4500</leader><controlfield tag="001">ZDB-4-EBA-on1280277981</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |n|||||||||</controlfield><controlfield tag="008">211024s2021 ne o 101 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">YDX</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">YDX</subfield><subfield code="d">IOSPR</subfield><subfield code="d">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</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="019" ind1=" " ind2=" "><subfield code="a">1280197341</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781643681955</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1643681958</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">164368194X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781643681948</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1280277981</subfield><subfield code="z">(OCoLC)1280197341</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">9781643681955</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></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">IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques</subfield><subfield code="n">(20th :</subfield><subfield code="d">2021 :</subfield><subfield code="c">Cancun, Mexico)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">New trends in intelligent software methodologies, tools and techniques :</subfield><subfield code="b">proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) /</subfield><subfield code="c">edited by Hamido Fujita and Hector Perez-Meana.</subfield></datafield><datafield tag="246" ind1="3" ind2=" "><subfield code="a">SoMeT_21</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2021.</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="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 337</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (IOS Press, viewed October 27, 2021).</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Intro -- Title Page -- Preface -- Conference Organization -- Contents -- Chapter 1. Software System with Intelligent Design -- Generating Program Identifier Dictionary for Maintaining Legacy Systems -- Protection of Mathematical Formulas Using Function Invariants -- Software Protection of Smart Household Appliances Against Over-Exploitation -- Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock Exchanges -- SELM: Software Engineering of Machine Learning Models -- Feature Reuse Across Software Releases During Software Evolution</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Chapter 2. Software Systems Security and Techniques -- Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage Services -- Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting -- Extreme Gradient Boosting for Cyberpropaganda Detection -- The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation -- LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber Attacks -- A Massively Parallel Approach to Automated Software Correctness Enhancement in Java</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings -- Chapter 3. Formal Techniques for System Software and Quality Assessment -- Building Normalized Systems from Domain Models in Ecore -- New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases -- Formal Event-B Modeling of the MICONIC Application -- Integrating Quality Assessment Through Metrics into Scrum Software Development -- Effort Estimation in Agile Software Development: A Systematic Mapping Study -- Engineering Platform as Integrated Software for Model Mediated Research</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Toward the Formalization of Business Process Model and Notation -- Chapter 4. Applied Intelligence in Software -- Introducing Interactivity in Disaster Recovery Simulations -- An Ontology for Modeling Vehicle Routing Problems -- LSTM-Based Mosquito Genus Classification Using Their Wingbeat Sound -- Acoustic Scenery Recognition Using CWT and Deep Neural Network -- Towards a New Approach for Intelligent BPM Based on Technologies 4.0 -- A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled Network -- Chapter 5. Intelligent Decision Support Systems</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform Extension -- Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork Cells -- AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive Communication -- An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in Vietnamese -- Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision Ensembles -- Proctors Assignment at the University of Information Technology -- VNU HCM</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">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">Perez-Meana, Hector,</subfield><subfield code="d">1954-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjHDHQhVDJPj3Vr7D6mcRq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2006078992</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">New trends in intelligent software methodologies, tools and techniques (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGw8VJPT8WqfqyQMGrBvwP</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="z">164368194X</subfield><subfield code="z">9781643681948</subfield><subfield code="w">(OCoLC)1269318274</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 337.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</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=3069425</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</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=3069425</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL28912258</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">3069425</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">302524463</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-862</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-on1280277981 |
| illustrated | Not Illustrated |
| indexdate | 2025-04-11T08:47:48Z |
| institution | BVB |
| isbn | 9781643681955 1643681958 |
| language | English |
| oclc_num | 1280277981 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques (20th : 2021 : Cancun, Mexico) New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / edited by Hamido Fujita and Hector Perez-Meana. SoMeT_21 Amsterdam : IOS Press, 2021. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Frontiers in artificial intelligence and applications ; v. 337 Includes indexes. Online resource; title from PDF title page (IOS Press, viewed October 27, 2021). Intro -- Title Page -- Preface -- Conference Organization -- Contents -- Chapter 1. Software System with Intelligent Design -- Generating Program Identifier Dictionary for Maintaining Legacy Systems -- Protection of Mathematical Formulas Using Function Invariants -- Software Protection of Smart Household Appliances Against Over-Exploitation -- Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock Exchanges -- SELM: Software Engineering of Machine Learning Models -- Feature Reuse Across Software Releases During Software Evolution Chapter 2. Software Systems Security and Techniques -- Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage Services -- Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting -- Extreme Gradient Boosting for Cyberpropaganda Detection -- The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation -- LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber Attacks -- A Massively Parallel Approach to Automated Software Correctness Enhancement in Java Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings -- Chapter 3. Formal Techniques for System Software and Quality Assessment -- Building Normalized Systems from Domain Models in Ecore -- New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases -- Formal Event-B Modeling of the MICONIC Application -- Integrating Quality Assessment Through Metrics into Scrum Software Development -- Effort Estimation in Agile Software Development: A Systematic Mapping Study -- Engineering Platform as Integrated Software for Model Mediated Research Toward the Formalization of Business Process Model and Notation -- Chapter 4. Applied Intelligence in Software -- Introducing Interactivity in Disaster Recovery Simulations -- An Ontology for Modeling Vehicle Routing Problems -- LSTM-Based Mosquito Genus Classification Using Their Wingbeat Sound -- Acoustic Scenery Recognition Using CWT and Deep Neural Network -- Towards a New Approach for Intelligent BPM Based on Technologies 4.0 -- A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled Network -- Chapter 5. Intelligent Decision Support Systems Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform Extension -- Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork Cells -- AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive Communication -- An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in Vietnamese -- Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision Ensembles -- Proctors Assignment at the University of Information Technology -- VNU HCM Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. Artificial intelligence fast Computer software Development fast Software engineering fast Conference papers and proceedings fast Fujita, Hamido. http://id.loc.gov/authorities/names/n2003001698 Perez-Meana, Hector, 1954- https://id.oclc.org/worldcat/entity/E39PCjHDHQhVDJPj3Vr7D6mcRq http://id.loc.gov/authorities/names/n2006078992 has work: New trends in intelligent software methodologies, tools and techniques (Text) https://id.oclc.org/worldcat/entity/E39PCGw8VJPT8WqfqyQMGrBvwP https://id.oclc.org/worldcat/ontology/hasWork Print version: 164368194X 9781643681948 (OCoLC)1269318274 Frontiers in artificial intelligence and applications ; v. 337. http://id.loc.gov/authorities/names/n92019289 |
| spellingShingle | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / Frontiers in artificial intelligence and applications ; Intro -- Title Page -- Preface -- Conference Organization -- Contents -- Chapter 1. Software System with Intelligent Design -- Generating Program Identifier Dictionary for Maintaining Legacy Systems -- Protection of Mathematical Formulas Using Function Invariants -- Software Protection of Smart Household Appliances Against Over-Exploitation -- Algorithmic Methods of Hidden Communication Through Buy Orders and Sales on International Stock Exchanges -- SELM: Software Engineering of Machine Learning Models -- Feature Reuse Across Software Releases During Software Evolution Chapter 2. Software Systems Security and Techniques -- Protecting the Sharing and Distribution of Color Images Hosted in Cloud Storage Services -- Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting -- Extreme Gradient Boosting for Cyberpropaganda Detection -- The Bane of Generate-and-Validate Program Repair: Too Much Generation, Too Little Validation -- LSTM Neural Networks for Detecting Anomalies Caused by Web Application Cyber Attacks -- A Massively Parallel Approach to Automated Software Correctness Enhancement in Java Cyber Racism Detection Using Bidirectional Gated Recurrent Units and Word Embeddings -- Chapter 3. Formal Techniques for System Software and Quality Assessment -- Building Normalized Systems from Domain Models in Ecore -- New Model for Handling Inconsistency Issues in DL-Lite Knowledge Bases -- Formal Event-B Modeling of the MICONIC Application -- Integrating Quality Assessment Through Metrics into Scrum Software Development -- Effort Estimation in Agile Software Development: A Systematic Mapping Study -- Engineering Platform as Integrated Software for Model Mediated Research Toward the Formalization of Business Process Model and Notation -- Chapter 4. Applied Intelligence in Software -- Introducing Interactivity in Disaster Recovery Simulations -- An Ontology for Modeling Vehicle Routing Problems -- LSTM-Based Mosquito Genus Classification Using Their Wingbeat Sound -- Acoustic Scenery Recognition Using CWT and Deep Neural Network -- Towards a New Approach for Intelligent BPM Based on Technologies 4.0 -- A Deep Transfer Learning Approach for Flow-Based Intrusion Detection in SDN-Enabled Network -- Chapter 5. Intelligent Decision Support Systems Improving Euclidean's Consensus Degrees in Group Decision Making Problems Through a Uniform Extension -- Bio-Informatic Model of Tyrosine Kinases Inhibitors in Trabecular Meshwork Cells -- AFL: Adaptive Federated Learning Based on Personalized Model and Adaptive Communication -- An Empirical Investigation of Online News Classification on an Open-Domain, Large-Scale and High-Quality Dataset in Vietnamese -- Skeleton-Based Action Recognition with Joint Coordinates as Feature Using Neural Oblivious Decision Ensembles -- Proctors Assignment at the University of Information Technology -- VNU HCM Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. Artificial intelligence fast Computer software Development fast Software engineering fast |
| title | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / |
| title_alt | SoMeT_21 |
| title_auth | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / |
| title_exact_search | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / |
| title_full | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / edited by Hamido Fujita and Hector Perez-Meana. |
| title_fullStr | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / edited by Hamido Fujita and Hector Perez-Meana. |
| title_full_unstemmed | New trends in intelligent software methodologies, tools and techniques : proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / edited by Hamido Fujita and Hector Perez-Meana. |
| title_short | New trends in intelligent software methodologies, tools and techniques : |
| title_sort | new trends in intelligent software methodologies tools and techniques proceedings of the 20th international conference on new trends in intelligent software methodologies tools and techniques somet 21 |
| title_sub | proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_21) / |
| topic | Software engineering Congresses. Computer software Development Congresses. Artificial intelligence Congresses. Génie logiciel Congrès. Intelligence artificielle Congrès. 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. Artificial intelligence Computer software Development Software engineering Conference papers and proceedings |
| work_keys_str_mv | AT ieeeinternationalconferenceonintelligentsoftwaremethodologiestoolsandtechniquescancunmexico newtrendsinintelligentsoftwaremethodologiestoolsandtechniquesproceedingsofthe20thinternationalconferenceonnewtrendsinintelligentsoftwaremethodologiestoolsandtechniquessomet21 AT fujitahamido newtrendsinintelligentsoftwaremethodologiestoolsandtechniquesproceedingsofthe20thinternationalconferenceonnewtrendsinintelligentsoftwaremethodologiestoolsandtechniquessomet21 AT perezmeanahector newtrendsinintelligentsoftwaremethodologiestoolsandtechniquesproceedingsofthe20thinternationalconferenceonnewtrendsinintelligentsoftwaremethodologiestoolsandtechniquessomet21 AT ieeeinternationalconferenceonintelligentsoftwaremethodologiestoolsandtechniquescancunmexico somet21 AT fujitahamido somet21 AT perezmeanahector somet21 |