Structured Object-Oriented Formal Language and Method, 1st ed. 2021 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Xue Jinyun, Nagoya Fumiko, Liu Shaoying, Duan Zhenhua
![Couverture de l’ouvrage Structured Object-Oriented Formal Language and Method](https://images.lavoisier.fr/couvertures/1317713605.jpg)
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.
Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.
Date de parution : 06-2021
Ouvrage de 205 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Structured Object-Oriented Formal Language and Method :
Mots-clés :
formal methods; modeling and specification; model checking; software verification; automatic transformation; dynamic analysis; software reliability; software safety; software process; real-time systems; big data and artificial intelligence; software tools; formal model-driven engineering; architecting; artificial intelligence; embedded systems; formal logic; software architecture; software design; software engineering