Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya (Herausgeber)

Buch | Softcover

VIII, 197 Seiten

2019 | 1st ed. 2019
Springer International Publishing (Verlag)
978-3-030-13650-5 (ISBN)

Artikel merken

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.

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

Erscheinungsdatum	11.02.2019
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	VIII, 197 p. 107 illus., 33 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	326 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Schlagworte	Analysis • Data Security • Formal Engineering Methods • Formal Logic • formal specification • Formal Verification • Inspection • Model Checking • Semantics • Software engineering • Software Evaluation • specification animation • Specifications • Testing • theorem proving • verification
ISBN-10	3-030-13650-7 / 3030136507
ISBN-13	978-3-030-13650-5 / 9783030136505
Zustand	Neuware