Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
portes grátis
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II
Steffen, Bernhard; Margaria, Tiziana
Springer International Publishing AG
10/2022
427
Mole
Inglês
9783031197550
15 a 20 dias
676
Descrição não disponível.
Programming - What is Next: The Role of Documentation.- Automated Software Re-Engineering.- DIME Days.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;computational linguistics;computer programming;computer software maintenance;databases;distributed computer systems;distributed systems;embedded systems;formal logic;object-oriented programming;parallel processing systems;signal processing;software architecture;software design;software engineering;software quality;verification and validation
Programming - What is Next: The Role of Documentation.- Automated Software Re-Engineering.- DIME Days.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;computational linguistics;computer programming;computer software maintenance;databases;distributed computer systems;distributed systems;embedded systems;formal logic;object-oriented programming;parallel processing systems;signal processing;software architecture;software design;software engineering;software quality;verification and validation
