Anais disponíveis
Os anais do SBMF 2015 foram publicados pela Springer como volume 9526 da série Lecture Notes in Computer Science (LNCS).
O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro dedicado ao estudo e à aplicação de Métodos Formais no desenvolvimento de sistemas de software.
Esse simpósio também tem se estabelecido na agenda científica nacional como um evento científico-técnico importante na área de software. Sua primeira edição ocorreu em 1998, estando em sua 18ª edição em 2015.
O SBMF é dedicado à disseminação do desenvolvimento e uso de métodos formais para construção e verificação de sistemas computacionais, com intuito de promover oportunidades para pesquisadores com interesse em métodos formais discutirem avanços recentes na área.
O SBMF 2015 incluirá as seguintes atividades, além das atividades gerais do CBSoft:
- Paletras; e
- Sessões Técnicas.
DATAS IMPORTANTES
Data Final para Submissão de Resumo: 6 de julho de 2015 (27 de junho de 2015)
Data Final para Submissão de Artigo: 10 de julho de 2015 (3 de julho de 2015)
Notificação dos autores: 18 de agosto de 2015
Envio de Versão Final do Artigo: 2 de setembro de 2015
ARTIGOS ACEITOS
Alvaro Miyazawa and Ana Cavalcanti
Refinement strategies for Safety-Critical Java
Bruno Cesar F. Silva, Augusto Sampaio and Gustavo Carvalho
Test Case Generation from Natural Language Requirements using CPN Simulation
Christiano Braga and Bruno Lopes
Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case
Christophe Chareton, Julien Brunel and David Chemouil
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents
Francisco Macario and Marcel Vinicius Medeiros Oliveira
Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware
Jim Woodcock, Ana Cavalcanti and Andy Wellings
Mobile CSP
Luis Gustavo Perpetuo Costa Marques, Max Hering de Queiroz and Jean-Marie Farines
Improving a Design Methodology of Synthesizable VHDL by Using Model Checking
Nils Timm and Stefan Gruner
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking
Rodrigo Ribeiro and Carlos Camarão
A Mechanized Textbook Proof of a Type Unification Algorithm
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda and Augusto Sampaio
Automatic generation of test cases and test purposes from natural language
Tarciana Silva, Alexandre Mota and Augusto Sampaio
Sound Transformations of Java programs using Alloy
Valdivino Alexandre de Santiago Júnior and Sofiene Tahar
Time Performance Formal Evaluation of Complex Systems
