Filter by
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFM…
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 pre…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12429-7
- Collation
- xi, 350p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Sof
Animated Program Design: Intermediate Program Design Using Video Game Develop…
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program c…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04317-8
- Collation
- xix, 514p.: Ill.
- Series Title
- Texts in Computer Science
- Call Number
- 005.437 Mor a
Applied Computer Sciences in Engineering: 9th Workshop on Engineering Applica…
This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogotá, Colombia, in November/December 2022. The 39 papers presented in this volume were carefully reviewed and selected from 143 submissions. They were organized in topical sections as follows: Artificial Intelligence; Optimization; S…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-20611-5
- Collation
- xiii, 486p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 App
Leveraging Applications of Formal Methods, Verification and Validation. Pract…
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program sp…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- xiii, 424p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437
Software Engineering and Formal Methods: 20th International Conference, SEFM …
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17108-6
- Collation
- xvii, 369p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Sof
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08679-3
- Collation
- xiv, 209p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verificati…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08166-8
- Collation
- xii, 521p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 The
Blockchain in Life Sciences
This book highlights the latest advances on the implementation and adaptation of blockchain technologies in real-world scientific, biomedical, and data applications. It presents rapid advancements in life sciences research and development by applying the unique capabilities inherent in distributed ledger technologies. The book unveils the current uses of blockchain in drug discovery, drug and d…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-2976-2
- Collation
- xxvii, 336p.: Ill.
- Series Title
- Blockchain Technologies
- Call Number
- 005.1 Blo
Evaluation of Novel Approaches to Software Engineering: 16th International Co…
The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), held as an online event from April 26 to 27, 2021. The 15 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the un…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-96648-5
- Collation
- xi, 357p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 Eva
Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked gr…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-6309-4
- Collation
- xi, 279p.: Ill
- Series Title
- -
- Call Number
- 005.11 Liu p
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2…
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational syst…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-22476-8
- Collation
- xiv, 143p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-38800-3
- Collation
- xxviii, 524p.: Ill.
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series
- Call Number
- 005.437 Rog f
Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India…
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022. The 19 full and 11 short papers were carefully reviewed and selected from 82 submissions. The papers are organzed in the following topical sections: foundations of conceptual modeling; ontologies and their applications; applications…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17995-2
- Collation
- xxii, 434p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Con
Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, J…
This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and r…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-20936-9
- Collation
- xiv, 423p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Int
Theoretical Aspects of Software Engineering: 16th International Symposium, TA…
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the late…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10363-6
- Collation
- xv, 426p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 The
Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1…
This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workfl…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10419-0
- Collation
- viii, 141p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Sup
Deployment and Operation of Complex Software in Heterogeneous Execution Envir…
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and t…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-04961-3
- Collation
- vii, 148p.: Ill.
- Series Title
- SpringerBriefs in Applied Sciences and Technology
- Call Number
- 005.1 Dep
Participative Urban Health and Healthy Aging in the Age of AI: 19th Internati…
This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI f…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-09593-1
- Collation
- xi, 312p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Par
Agile Processes in Software Engineering and Extreme Programming: 23rd Interna…
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08169-9
- Collation
- x, 237p.: Ill
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- 005.1 Agi
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations
This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality softwa…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-83128-8
- Collation
- vi, 293p.: Ill.
- Series Title
- -
- Call Number
- 005.101 Ern
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-13185-1
- Collation
- xix, 555p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Com
Fundamental Approaches to Software Engineering: 25th International Conference…
This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 subm…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- xiv, 347p.: ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Fun
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-71995-1
- Collation
- xv, 574p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Fou
Fundamental Approaches to Software Engineering: 24th International Conference…
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-71500-7
- Collation
- xiv, 373p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Fun
Building Better Interfaces for Remote Autonomous Systems: An Introduction for…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-47775-2
- Collation
- xii, 127p.: Ill.
- Series Title
- Human–Computer Interaction Series
- Call Number
- 005.437 Our b
Recent Innovations in Computing
This book features selected papers presented at the 3rd International Conference on Recent Innovations in Computing (ICRIC 2020), held on 20–21 March 2020 at the Central University of Jammu, India, and organized by the university’s Department of Computer Science & Information Technology. It includes the latest research in the areas of software engineering, cloud computing, computer networks…
- Edition
- 1
- ISBN/ISSN
- 978-981-15-8297-4
- Collation
- xx, 873p.:Ill
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 005.1 Rec
Proceedings of the First International Workshop on Intelligent Software Autom…
This book is a collection of research papers presented at the International Workshop on Intelligent Software Engineering Automation (ISEA 2020) in the 27th Asia-Pacific Software Engineering Conference (APSEC 2020), during 1–4 December 2020 in Singapore. The book discusses automated tools and techniques which are required to reflect over business knowledge to identify what is missing or could …
- Edition
- 1
- ISBN/ISSN
- 978-981-16-1045-5
- Collation
- x, 65p.:Ill
- Series Title
- -
- Call Number
- 005.1 Pro
Systems and Information Sciences
This book constitutes the proceedings of the 1st International Conference on Systems and Information Sciences (ICCIS), held in Manta, Ecuador, from July 27 to 29, 2020, and was jointly organized by Universidad Laica Eloy Alfaro de Manabí “ULEAM”, in collaboration with GDEON. ICCIS aims to bring together systems and information sciences researchers and developers from academia and industry …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-59194-6
- Collation
- XIX, 468p.:Ill
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 005.1 Sys
Modelling and Implementation of Complex Systems
This proceedings book gives a new vision and real progress towards more difficult problems resolution. In trying to solve the problems we face every day in the complex world we are living, we are constantly developing artificial systems and increasingly complex middleware. Indeed, the research works contained in this book address a large spread of nowadays topics like IoT architectures, communi…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-58861-8
- Collation
- xv, 310p.:Ill
- Series Title
- Lecture Notes in Networks and Systems
- Call Number
- 004. Mod
Advances in Software Engineering, Education, and e-Learning
This book presents the proceedings of four conferences: The 16th International Conference on Frontiers in Education: Computer Science and Computer Engineering + STEM (FECS'20), The 16th International Conference on Foundations of Computer Science (FCS'20), The 18th International Conference on Software Engineering Research and Practice (SERP'20), and The 19th International Conference on e-Learnin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-70873-3
- Collation
- XXIX, 1015p.:Ill
- Series Title
- Transactions on Computational Science and Computational Intelligence
- Call Number
- 004. Adv
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography