Prazo para submissão: 30 May 2024
Data de Notificação: 01/04/2025
Editora: Elsevier
Revista: Journal of Systems Architecture
Detalhes:
Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community has formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality and improvement of software systems is, in practice, lagging behind. This is for instance reflected by the challenges in applying formal techniques and tool