Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13273)
Included in the following conference series:
Conference proceedings info: FORTE 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.
Similar content being viewed by others
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computational linguistics
- computer programming
- computer science
- computer systems
- databases
- embedded systems
- formal logic
- graph theory
- linguistics
- mathematics
- model checking
- software architecture
- software design
- software engineering
- software quality
- theoretical computer science
- verification
Table of contents (12 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Formal Techniques for Distributed Objects, Components, and Systems
Editors and Affiliations
Bibliographic Information
Book Title: Formal Techniques for Distributed Objects, Components, and Systems
Book Subtitle: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Editors: Mohammad Reza Mousavi, Anna Philippou
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-08679-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2022
Softcover ISBN: 978-3-031-08678-6Published: 12 June 2022
eBook ISBN: 978-3-031-08679-3Published: 11 June 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 209
Number of Illustrations: 24 b/w illustrations, 28 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks, Theory of Computation, Information Systems and Communication Service, Artificial Intelligence
