Please enable JavaScript.
Coggle requires JavaScript to display documents.
MM1 (Método B, Aspectos do Modelo, Arquiteturas de Projetos e Componentes)…
MM1
Método B
Event-B
Modela sistemas complexos , permitindo analisar execuções paralelas e o comportamento do ambiente
-
-
-
-
Aspectos do Modelo
-
-
Obrigações de prova
predicados matemáticos que garantem que a inicialização estabelece o invariante e que cada operação o preserva. Se uma proof obligation não é provada, o modelo é inerentemente inconsistente
Refinamento Vertical
o processo de transformar tipos de dados abstratos em estruturas concretas e operações matemáticas em algoritmos sequenciais (B0)
-
-