Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

List of contents

Programming and testing.- Verification and validation.- Semantics.- Blockchain.

Summary

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

Product details

• Assisted by: Zhenhua Duan (Editor), Shaoying Liu (Editor), Fumiko Nagoya (Editor), Cong Tian (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 09.02.2019
• EAN: 9783030136505
• ISBN: 978-3-0-3013650-5
• No. of pages: 197
• Dimensions: 156 mm x 13 mm x 236 mm
• Weight: 328 g
• Illustrations: VIII, 197 p. 107 illus., 33 illus. in color.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Künstliche Intelligenz, Software Engineering, Artificial Intelligence, Informationstechnik (IT), allgemeine Themen, Computermodellierung und -simulation, Theoretische Informatik, Systemanalyse und -design, computer science, Theory of Computation, Software Engineering/Programming and Operating Systems, Systems analysis & design, Operating systems, Computers, Mathematical theory of computation, Information technology: general issues, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Computer system failures, System Performance and Evaluation, Computing Milieux, Computer Modelling