Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12719)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): FORTE: International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Conference proceedings info: FORTE 2021.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
-
Full Papers
-
Front Matter
-
-
Back Matter
About this book
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.
The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 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.
Due to the Corona pandemic this event was held virtually.
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- computer science
- computer systems
- databases
- distributed computer systems
- distributed systems
- embedded systems
- engineering
- formal logic
- formal methods
- graph theory
- model checking
- software architecture
- software design
- software engineering
- theoretical computer science
Editors and Affiliations
-
TU Darmstadt, Darmstadt, Germany
Kirstin Peters
-
Eindhoven University of Technology, Eindhoven, The Netherlands
Tim A. C. Willemse
Bibliographic Information
Book Title: Formal Techniques for Distributed Objects, Components, and Systems
Book Subtitle: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
Editors: Kirstin Peters, Tim A. C. Willemse
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-78089-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2021
Softcover ISBN: 978-3-030-78088-3Published: 10 June 2021
eBook ISBN: 978-3-030-78089-0Published: 09 June 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 245
Number of Illustrations: 39 b/w illustrations, 34 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, Mathematics of Computing, Computer Communication Networks, Special Purpose and Application-Based Systems, Mathematical Logic and Foundations