Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11392)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): SOFL+MSVL: International Workshop on Structured Object-Oriented Formal Language and Method
Conference proceedings info: SOFL+MSVL 2018.
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 (11 papers)
-
Front Matter
-
Verification and Validation
-
Front Matter
-
-
Back Matter
About this book
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.
Editors and Affiliations
-
Xidian University, Xi’an, China
Zhenhua Duan, Cong Tian
-
Hosei University, Tokyo, Japan
Shaoying Liu
-
Nihon University, Tokyo, Japan
Fumiko Nagoya
Bibliographic Information
Book Title: Structured Object-Oriented Formal Language and Method
Book Subtitle: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Editors: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-13651-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-13650-5Published: 09 February 2019
eBook ISBN: 978-3-030-13651-2Published: 11 March 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 197
Number of Illustrations: 74 b/w illustrations, 33 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, System Performance and Evaluation, Theory of Computation, Simulation and Modeling, Computing Milieux