Download or read book 19th International Conference on Automated Software Engineering written by Institute of Electrical and Electronics Engineers, Inc. Staff and published by . This book was released on 2004 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book ASE 2004 written by Institute of Electrical and Electronics Engineers, Inc. Staff and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 2004-01-01 with total page 435 pages. Available in PDF, EPUB and Kindle. Book excerpt: ASE focuses on the automation aspects of formal methods, software process, humen-computer interaction, requirements engineering, reverse engineering, testing, verification and validation, while still including an active AI and knowledge-based research focus.
Download or read book IEEE ACM International Conference on Automated Software Engineering written by and published by . This book was released on 2005 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book On the Move to Meaningful Internet Systems OTM 2017 Conferences written by Hervé Panetto and published by Springer. This book was released on 2017-10-19 with total page 792 pages. Available in PDF, EPUB and Kindle. Book excerpt: This double volumes LNCS 10573-10574 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2017, Ontologies, Databases, and Applications of Semantics, ODBASE 2017, and Cloud and Trusted Computing, C&TC, held as part of OTM 2017 in October 2017 in Rhodes, Greece. The 61 full papers presented together with 19 short papers were carefully reviewed and selected from 180 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.
Download or read book ICIME 2013 Proceedings of the 4th International Conference on IS Management and Evaluation written by Dr Nelson Leung and published by Academic Conferences Limited. This book was released on 2013-05-13 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book EJISE Volume 14 Issue 2 written by and published by Academic Conferences Limited. This book was released on with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Formal Methods and Software Engineering written by Zhiming Liu and published by Springer Science & Business Media. This book was released on 2006-10-24 with total page 788 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.
Download or read book Intelligent Algorithms written by Han Huang and published by Elsevier. This book was released on 2024-05-25 with total page 253 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the latest achievements of the computation time analysis theory and practical applications of intelligent algorithms are set out. There are five chapters: (1) new method of intelligent algorithm computation time analysis; (2)Application of intelligent algorithms in computer vision; (3)Application of intelligent algorithms in logistics scheduling; (4)Application of intelligent algorithms in software testing; and (5) application of intelligent algorithm in multi-objective optimization. The content of each chapter is supported by papers published in top journals. The authors introduce the work of each part, which mainly includes a brief introduction (mainly for readers to understand) and academic discussion (rigorous theoretical and experimental support), in a vivid and interesting way through excellent pictures and literary compositions. To help readers learn and make progress together, each part of this book provides relevant literature, code, experimental data, and so on. - Integrates the theoretical analysis results of intelligent algorithms, which is convenient for the majority of researchers to deeply understand the theoretical analysis results of intelligent algorithms and further supplement and improve the theoretical research of intelligent algorithms - Opens up readers' understanding of the theoretical level of intelligent algorithms and spreads the inherent charm of intelligent algorithms - Integrates the diverse knowledge of society and provides a more comprehensive and scientific knowledge of intelligent algorithm theory
Download or read book Model Driven Engineering and Software Development written by Slimane Hammoudi and published by Springer Nature. This book was released on 2020-01-03 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019. The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.
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 Handbook of Software Engineering written by Sungdeok Cha and published by Springer. This book was released on 2019-02-11 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, software architecture, software testing, formal methods, software maintenance) as well as emerging areas (e.g., self-adaptive systems, software engineering in the cloud, coordination technology). Each chapter includes an introduction to central concepts and principles, a guided tour of seminal papers and key contributions, and promising future research directions. The authors of the individual chapters are all acknowledged experts in their field and include many who have pioneered the techniques and technologies discussed. Readers will find an authoritative and concise review of each subject, and will also learn how software engineering technologies have evolved and are likely to develop in the years to come. This book will be especially useful for researchers who are new to software engineering, and for practitioners seeking to enhance their skills and knowledge.
Download or read book Trends in Software Testing written by Hrushikesha Mohanty and published by Springer. This book was released on 2016-07-26 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is focused on the advancements in the field of software testing and the innovative practices that the industry is adopting. Considering the widely varied nature of software testing, the book addresses contemporary aspects that are important for both academia and industry. There are dedicated chapters on seamless high-efficiency frameworks, automation on regression testing, software by search, and system evolution management. There are a host of mathematical models that are promising for software quality improvement by model-based testing. There are three chapters addressing this concern. Students and researchers in particular will find these chapters useful for their mathematical strength and rigor. Other topics covered include uncertainty in testing, software security testing, testing as a service, test technical debt (or test debt), disruption caused by digital advancement (social media, cloud computing, mobile application and data analytics), and challenges and benefits of outsourcing. The book will be of interest to students, researchers as well as professionals in the software industry.
Download or read book Formal Methods and Software Engineering written by Zhenhua Duan and published by Springer. This book was released on 2017-10-13 with total page 509 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Download or read book SOFSEM 2018 Theory and Practice of Computer Science written by A Min Tjoa and published by Springer. This book was released on 2018-01-12 with total page 689 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018. The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; and data model engineering.
Download or read book Generative and Transformational Techniques in Software Engineering IV written by Ralf Lämmel and published by Springer. This book was released on 2013-01-03 with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt: This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school presents the state of the art in software language engineering and generative and transformational techniques in software engineering with coverage of foundations, methods, tools, and case studies.
Download or read book Towards a Collaborative Society Through Creative Learning written by Therese Keane and published by Springer Nature. This book was released on 2023-09-27 with total page 711 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the revised selected, refereed papers from the IFIP World Conference on Computers in Education on Towards a Collaborative Society through Creative Learning, WCCE 2022, Hiroshima, Japan, August 20-24, 2022. A total of 61 papers (54 full papers and 7 short papers) were carefully reviewed and selected from 131 submissions. They were organized in topical sections as follows: Digital Education and Computing in Schools, Digital Education and Computing in Higher Education, National Policies and Plans for Digital Competence.
Download or read book Structured Object Oriented Formal Language and Method written by Huaikou Miao and published by Springer Nature. This book was released on 2020-02-19 with total page 366 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
