Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

von

Silva, AlexandraHrsg.Bouajjani, AhmedHrsg.

BuchKartoniert, Paperback

Verkaufsrang53423inInformatik - EDV

EUR55,95

Beschreibung

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.

The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Weitere Beschreibungen

Details

ISBN/EAN978-3-319-60224-0

ProduktartBuch

EinbandKartoniert, Paperback

Verlag

Springer International Publishing

Erscheinungsdatum28.05.2017

Auflage1st ed. 2017

ReiheProgramming and Software Engineering

Reihen-Nr.10321

Seiten243 Seiten

SpracheEnglisch

Artikel-Nr.14365057

WarengruppeInformatik - EDV

Weitere Details

Reihe

Deductive Software Verification ¿ The KeY Book

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Formal Methods and Software Engineering

Runtime Verification

Programming Languages and Systems

Product-Focused Software Process Improvement

Hardware and Software: Verification and Testing

Theory and Models for Cyber Situation Awareness

On the Move to Meaningful Internet Systems: OTM 2016 Conferences

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things

Formal Methods: Foundations and Applications

Cyber-Physical Systems of Systems

Practical Aspects of Declarative Languages

Requirements Engineering: Foundation for Software Quality

Concurrency, Security, and Puzzles

Engineering Trustworthy Software Systems

Mastering Scale and Complexity in Software Reuse

Grand Timely Topics in Software Engineering

Risk Assessment and Risk-Driven Quality Assurance

NASA Formal Methods

Challenges and Opportunity with Big Data

Formal Aspects of Component Software

Reliable Software Technologies ¿ Ada-Europe 2017

Reversible Computation

End-User Development

Coordination Models and Languages