Structured Object-Oriented Formal Language and Method

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (Herausgeber)

Buch | Softcover

VIII, 205 Seiten

2021 | 1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-77473-8 (ISBN)

Artikel merken

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.
The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.

Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.

Erscheinungsdatum	05.06.2021
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	VIII, 205 p. 98 illus., 45 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	338 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Architecting • Artificial Intelligence • automatic transformation • big data and artificial intelligence • Dynamic Analysis • Embedded Systems • Formal Logic • formal methods • formal model-driven engineering • Model Checking • modeling and specification • Real-Time Systems • software architecture • Software Design • Software engineering • Software Process • Software Reliability • Software Safety • Software Tools • Software Verification
ISBN-10	3-030-77473-2 / 3030774732
ISBN-13	978-3-030-77473-8 / 9783030774738
Zustand	Neuware