Download or read book 2015 30th IEEE ACM International Conference on Automated Software Engineering Workshops written by and published by . This book was released on 2015 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2015 30th IEEE ACM International Conference on Automated Software Engineering ASE written by IEEE Staff and published by . This book was released on 2015-11-09 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Engineering for Variability Intensive Systems written by Ivan Mistrik and published by CRC Press. This book was released on 2019-01-15 with total page 528 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discuss the challenges in developing, maintaining and evolving systems, cloud and mobile services for variability-intensive software systems and the scalability requirements they imply. The book explores software engineering approaches that can efficiently deal with variability-intensive systems as well as applications and use cases benefiting from variability-intensive systems.

Download or read book International Conference on Innovative Computing and Communications written by Siddhartha Bhattacharyya and published by Springer. This book was released on 2018-11-19 with total page 550 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book includes high-quality research papers presented at the International Conference on Innovative Computing and Communication (ICICC 2018), which was held at the Guru Nanak Institute of Management (GNIM), Delhi, India on 5–6 May 2018. Introducing the innovative works of scientists, professors, research scholars, students and industrial experts in the field of computing and communication, the book promotes the transformation of fundamental research into institutional and industrialized research and the conversion of applied exploration into real-time applications.

Download or read book Human Interface and the Management of Information Information in Intelligent Systems written by Sakae Yamamoto and published by Springer. This book was released on 2019-07-10 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set LNCS 11569 and 11570 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2019, held as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 91 papers presented in the two volumes were organized in topical sections named: Visual information; Data visualization and analytics; Information, cognition and learning; Information, empathy and persuasion; Knowledge management and sharing; Haptic and tactile interaction; Information in virtual and augmented reality; Machine learning and intelligent systems; Human motion and expression recognition and tracking; Medicine, healthcare and quality of life applications.

Download or read book Quality of Information and Communications Technology written by Martin Shepperd and published by Springer Nature. This book was released on 2020-08-31 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020, held in Faro, Portugal*, in September 2020. The 27 full papers and 12 short papers were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections: quality aspects in machine learning, AI and data analytics; evidence-based software quality engineering; human and artificial intelligences for software evolution; process modeling, improvement and assessment; software quality education and training; quality aspects in quantum computing; safety, security and privacy; ICT verification and validation; RE, MDD and agile. *The conference was held virtually due to the COVID-19 pandemic.

Download or read book Fundamentals of Software Engineering written by Hossein Hojjat and published by Springer Nature. This book was released on 2019-09-21 with total page 263 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

Download or read book Search Based Software Engineering written by Una-May O'Reilly and published by Springer Nature. This book was released on 2021-09-30 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 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.

Download or read book The Essence of Software Engineering written by Volker Gruhn and published by Springer. This book was released on 2018-06-13 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.

Download or read book Proceedings of Seventh International Congress on Information and Communication Technology written by Xin-She Yang and published by Springer Nature. This book was released on 2022-07-11 with total page 792 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers selected high-quality research papers presented at the Seventh International Congress on Information and Communication Technology, held at Brunel University, London, on February 21–24, 2022. 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 work is presented in four volumes.

Download or read book Advances in Computers written by and published by Academic Press. This book was released on 2019-01-08 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt: Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques. - Provides in-depth surveys and tutorials on new computer technology - Covers well-known authors and researchers in the field - Presents extensive bibliographies with most chapters - Includes volumes that are devoted to single themes or subfields of computer science

Download or read book Cyber Physical Systems Design Modeling and Evaluation written by Christian Berger and published by Springer. This book was released on 2017-01-11 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016. The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

Download or read book Software Engineering for Resilient Systems written by Alexander Romanovsky and published by Springer. This book was released on 2017-08-18 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

Download or read book Leveraging Applications of Formal Methods Verification and Validation REoCAS Colloquium in Honor of Rocco De Nicola written by Tiziana Margaria and published by Springer Nature. This book was released on with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Digital Transformation written by Birgit Vogel-Heuser and published by Springer Nature. This book was released on 2023-02-02 with total page 522 pages. Available in PDF, EPUB and Kindle. Book excerpt: Digital Transformation in Industry 4.0/5.0 requires the effective and efficient application of digitalization technologies in the area of production systems. This book elaborates on concepts, techniques, and technologies from computer science in the context of Industry 4.0/5.0 and demonstrates their possible applications. Thus, the book serves as an orientation but also as a reference work for experts in the field of Industry 4.0/5.0 to successfully advance digitization in their companies.

Download or read book Information Communication and Computing Technology written by Mahua Bhattacharya and published by Springer Nature. This book was released on 2021-10-07 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 6th International Conference on Information, Communication and Computing Technology, ICICCT 2021, held in New Delhi, India, in May 2021. The 16 full papers and 4 short paper presented in this volume were carefully reviewed and selected from 83 qualified submissions. The papers are organized in topical sections on communication and network systems; computational intelligence techniques.

Download or read book Software Source Code written by Raghavendra Rao Althar and published by Walter de Gruyter GmbH & Co KG. This book was released on 2021-07-19 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book will focus on utilizing statistical modelling of the software source code, in order to resolve issues associated with the software development processes. Writing and maintaining software source code is a costly business; software developers need to constantly rely on large existing code bases. Statistical modelling identifies the patterns in software artifacts and utilize them for predicting the possible issues.