Author: IEEE Staff
Publisher:
ISBN: 9781509055715
Category :
Languages : en
Pages :
Book Description
The IEEE ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems
2016 31st IEEE ACM International Conference on Automated Software Engineering (ASE)
Author: IEEE Staff
Publisher:
ISBN: 9781509055715
Category :
Languages : en
Pages :
Book Description
The IEEE ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems
Publisher:
ISBN: 9781509055715
Category :
Languages : en
Pages :
Book Description
The IEEE ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems
Search-Based Software Engineering
Author: Mike Papadakis
Publisher: Springer Nature
ISBN: 3031212517
Category : Computers
Languages : en
Pages : 130
Book Description
This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022. The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.
Publisher: Springer Nature
ISBN: 3031212517
Category : Computers
Languages : en
Pages : 130
Book Description
This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022. The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.
Testing Software and Systems
Author: Silvia Bonfanti
Publisher: Springer Nature
ISBN: 3031432401
Category : Computers
Languages : en
Pages : 297
Book Description
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023. The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Publisher: Springer Nature
ISBN: 3031432401
Category : Computers
Languages : en
Pages : 297
Book Description
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023. The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Dependable Software Engineering. Theories, Tools, and Applications
Author: Shengchao Qin
Publisher: Springer Nature
ISBN: 3030912655
Category : Computers
Languages : en
Pages : 327
Book Description
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Publisher: Springer Nature
ISBN: 3030912655
Category : Computers
Languages : en
Pages : 327
Book Description
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Crowdsourcing of Sensor Cloud Services
Author: Azadeh Ghari Neiat
Publisher: Springer
ISBN: 3319915363
Category : Computers
Languages : en
Pages : 130
Book Description
This book develops a crowdsourced sensor-cloud service composition framework taking into account spatio-temporal aspects. This book also unfolds new horizons to service-oriented computing towards the direction of crowdsourced sensor data based applications, in the broader context of Internet of Things (IoT). It is a massive challenge for the IoT research field how to effectively and efficiently capture, manage and deliver sensed data as user-desired services. The outcome of this research will contribute to solving this very important question, by designing a novel service framework and a set of unique service selection and composition frameworks. Delivering a novel service framework to manage crowdsourced sensor data provides high-level abstraction (i.e., sensor-cloud service) to model crowdsourced sensor data from functional and non-functional perspectives, seamlessly turning the raw data into “ready to go” services. A creative indexing model is developed to capture and manage the spatio-temporal dynamism of crowdsourced service providers. Delivering novel frameworks to compose crowdsourced sensor-cloud services is vital. These frameworks focuses on spatio-temporal composition of crowdsourced sensor-cloud services, which is a new territory for existing service oriented computing research. A creative failure-proof model is also designed to prevent composition failure caused by fluctuating QoS. Delivering an incentive model to drive the coverage of crowdsourced service providers is also vital. A new spatio-temporal incentive model targets changing coverage of the crowdsourced providers to achieve demanded coverage of crowdsourced sensor-cloud services within a region. The outcome of this research is expected to potentially create a sensor services crowdsourcing market and new commercial opportunities focusing on crowdsourced data based applications. The crowdsourced community based approach adds significant value to journey planning and map services thus creating a competitive edge for a technologically-minded companies incentivizing new start-ups, thus enabling higher market innovation. This book primarily targets researchers and practitioners, who conduct research work in service oriented computing, Internet of Things (IoT), smart city and spatio-temporal travel planning, as well as advanced-level students studying this field. Small and Medium Entrepreneurs, who invest in crowdsourced IoT services and journey planning infrastructures, will also want to purchase this book.
Publisher: Springer
ISBN: 3319915363
Category : Computers
Languages : en
Pages : 130
Book Description
This book develops a crowdsourced sensor-cloud service composition framework taking into account spatio-temporal aspects. This book also unfolds new horizons to service-oriented computing towards the direction of crowdsourced sensor data based applications, in the broader context of Internet of Things (IoT). It is a massive challenge for the IoT research field how to effectively and efficiently capture, manage and deliver sensed data as user-desired services. The outcome of this research will contribute to solving this very important question, by designing a novel service framework and a set of unique service selection and composition frameworks. Delivering a novel service framework to manage crowdsourced sensor data provides high-level abstraction (i.e., sensor-cloud service) to model crowdsourced sensor data from functional and non-functional perspectives, seamlessly turning the raw data into “ready to go” services. A creative indexing model is developed to capture and manage the spatio-temporal dynamism of crowdsourced service providers. Delivering novel frameworks to compose crowdsourced sensor-cloud services is vital. These frameworks focuses on spatio-temporal composition of crowdsourced sensor-cloud services, which is a new territory for existing service oriented computing research. A creative failure-proof model is also designed to prevent composition failure caused by fluctuating QoS. Delivering an incentive model to drive the coverage of crowdsourced service providers is also vital. A new spatio-temporal incentive model targets changing coverage of the crowdsourced providers to achieve demanded coverage of crowdsourced sensor-cloud services within a region. The outcome of this research is expected to potentially create a sensor services crowdsourcing market and new commercial opportunities focusing on crowdsourced data based applications. The crowdsourced community based approach adds significant value to journey planning and map services thus creating a competitive edge for a technologically-minded companies incentivizing new start-ups, thus enabling higher market innovation. This book primarily targets researchers and practitioners, who conduct research work in service oriented computing, Internet of Things (IoT), smart city and spatio-temporal travel planning, as well as advanced-level students studying this field. Small and Medium Entrepreneurs, who invest in crowdsourced IoT services and journey planning infrastructures, will also want to purchase this book.
Machine Learning and Artificial Intelligence
Author: A.J. Tallón-Ballesteros
Publisher: IOS Press
ISBN: 1643681370
Category : Computers
Languages : en
Pages : 482
Book Description
Machine learning and artificial intelligence are already widely applied to facilitate our daily lives, as well as scientific research, but with the world currently facing a global COVID-19 pandemic, their capacity to provide an important tool to support those searching for a way to combat the novel corona virus has never been more important. This book presents the proceedings of the International Conference on Machine Learning and Intelligent Systems (MLIS 2020), which was due to be held in Seoul, Korea, from 25-28 October 2020, but which was delivered as an online conference on the same dates due to COVID-19 restrictions. MLIS 2020 was the latest in a series of annual conferences that aim to provide a platform for exchanging knowledge about the most recent scientific and technological advances in the field of machine learning and intelligent systems. The annual conference also strengthens links within the scientific community in related research areas. The book contains 53 papers, selected from more than 160 submissions and presented at MLIS 2020. Selection was based on the results of review and scored on: originality, scientific/practical significance, compelling logical reasoning and language. Topics covered include: data mining, image processing, neural networks, human health, natural language processing, video processing, computational intelligence, expert systems, human-computer interaction, deep learning, and robotics. Offering a current overview of research and developments in machine learning and artificial intelligence, the book will be of interest to all those working in the field.
Publisher: IOS Press
ISBN: 1643681370
Category : Computers
Languages : en
Pages : 482
Book Description
Machine learning and artificial intelligence are already widely applied to facilitate our daily lives, as well as scientific research, but with the world currently facing a global COVID-19 pandemic, their capacity to provide an important tool to support those searching for a way to combat the novel corona virus has never been more important. This book presents the proceedings of the International Conference on Machine Learning and Intelligent Systems (MLIS 2020), which was due to be held in Seoul, Korea, from 25-28 October 2020, but which was delivered as an online conference on the same dates due to COVID-19 restrictions. MLIS 2020 was the latest in a series of annual conferences that aim to provide a platform for exchanging knowledge about the most recent scientific and technological advances in the field of machine learning and intelligent systems. The annual conference also strengthens links within the scientific community in related research areas. The book contains 53 papers, selected from more than 160 submissions and presented at MLIS 2020. Selection was based on the results of review and scored on: originality, scientific/practical significance, compelling logical reasoning and language. Topics covered include: data mining, image processing, neural networks, human health, natural language processing, video processing, computational intelligence, expert systems, human-computer interaction, deep learning, and robotics. Offering a current overview of research and developments in machine learning and artificial intelligence, the book will be of interest to all those working in the field.
Software Engineering and Methodology for Emerging Domains
Author: Zheng Li
Publisher: Springer Nature
ISBN: 9811503109
Category : Computers
Languages : en
Pages : 181
Book Description
This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Publisher: Springer Nature
ISBN: 9811503109
Category : Computers
Languages : en
Pages : 181
Book Description
This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018. The 6 revised selected papers were selected from 17 submissions for NASAC 2017, and 5 revised selected papers were selected from 20 submissions for NASAC 2018. The papers focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.
Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities
Author: Pendyala, Vishnu
Publisher: IGI Global
ISBN: 1799818659
Category : Computers
Languages : en
Pages : 223
Book Description
The development of software has expanded substantially in recent years. As these technologies continue to advance, well-known organizations have begun implementing these programs into the ways they conduct business. These large companies play a vital role in the economic environment, so understanding the software that they utilize is pertinent in many aspects. Researching and analyzing the tools that these corporations use will assist in the practice of software engineering and give other organizations an outline of how to successfully implement their own computational methods. Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities is an essential reference source that discusses advanced software methods that prominent companies have adopted to develop high quality products. This book will examine the various devices that organizations such as Google, Cisco, and Facebook have implemented into their production and development processes. Featuring research on topics such as database management, quality assurance, and machine learning, this book is ideally designed for software engineers, data scientists, developers, programmers, professors, researchers, and students seeking coverage on the advancement of software devices in today’s major corporations.
Publisher: IGI Global
ISBN: 1799818659
Category : Computers
Languages : en
Pages : 223
Book Description
The development of software has expanded substantially in recent years. As these technologies continue to advance, well-known organizations have begun implementing these programs into the ways they conduct business. These large companies play a vital role in the economic environment, so understanding the software that they utilize is pertinent in many aspects. Researching and analyzing the tools that these corporations use will assist in the practice of software engineering and give other organizations an outline of how to successfully implement their own computational methods. Tools and Techniques for Software Development in Large Organizations: Emerging Research and Opportunities is an essential reference source that discusses advanced software methods that prominent companies have adopted to develop high quality products. This book will examine the various devices that organizations such as Google, Cisco, and Facebook have implemented into their production and development processes. Featuring research on topics such as database management, quality assurance, and machine learning, this book is ideally designed for software engineers, data scientists, developers, programmers, professors, researchers, and students seeking coverage on the advancement of software devices in today’s major corporations.
Bioelectronics and Medical Devices
Author: Garima Srivastava
Publisher: CRC Press
ISBN: 1000088073
Category : Technology & Engineering
Languages : en
Pages : 283
Book Description
This new volume provides an abundance of information on new biomedical applications being used today. The book covers a wide range of concepts and technologies, discussing such modern technological methods as the Internet of Things, e-pills, biomedical sensors, support vector machines, wireless devices, image and signal processing in e-health, and machine learning. It also includes a discussion on software implementation for the devices used in biomedical applications. The different types of antennas, including antennas using RF energy harvesting for biomedical applications, are covered as well.
Publisher: CRC Press
ISBN: 1000088073
Category : Technology & Engineering
Languages : en
Pages : 283
Book Description
This new volume provides an abundance of information on new biomedical applications being used today. The book covers a wide range of concepts and technologies, discussing such modern technological methods as the Internet of Things, e-pills, biomedical sensors, support vector machines, wireless devices, image and signal processing in e-health, and machine learning. It also includes a discussion on software implementation for the devices used in biomedical applications. The different types of antennas, including antennas using RF energy harvesting for biomedical applications, are covered as well.
Proceedings of Sixth International Congress on Information and Communication Technology
Author: Xin-She Yang
Publisher: Springer Nature
ISBN: 9811621020
Category : Technology & Engineering
Languages : en
Pages : 883
Book Description
This book gathers selected high-quality research papers presented at the Sixth International Congress on Information and Communication Technology, held at Brunel University, London, on February 25–26, 2021. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The book is presented in four volumes.
Publisher: Springer Nature
ISBN: 9811621020
Category : Technology & Engineering
Languages : en
Pages : 883
Book Description
This book gathers selected high-quality research papers presented at the Sixth International Congress on Information and Communication Technology, held at Brunel University, London, on February 25–26, 2021. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The book is presented in four volumes.