Structured Object-Oriented Formal Language and Method
portes grátis
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Nagoya, Fumiko; Duan, Zhenhua; Xue, Jinyun; Liu, Shaoying
Springer Nature Switzerland AG
06/2021
205
Mole
Inglês
9783030774738
15 a 20 dias
454
Descrição não disponível.
Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
Modeling and Specification.- Model Checking.- Specification and Verification.- Testing and Formal Verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
