Ir para o conteúdo

21 a 25/09/15BELO HORIZONTE - MG

Tela cheia

SBMF 2015

Traduções

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