• Nenhum resultado encontrado

Roadmap to a DO-178C Formal Model-Based Software Engineering Methodology

N/A
N/A
Protected

Academic year: 2017

Share "Roadmap to a DO-178C Formal Model-Based Software Engineering Methodology"

Copied!
6
0
0

Texto

Loading

Imagem

Figure 2. Informal to Formal Transformation Paradigm  At  the  end  of  each  stage  of  the  model  development  process,  transformation  may  be  conducted  to  go  from  an  informal  (UML)  model  to  a  formal  (Z  notation)  representation (model)
Figure 5. DO-178C Software Planning Process model  Figure7 captures the UML activity diagram description of  the DO-178C Software Requirement Process Activity 5.1.2
Figure 8. UML model-based methodology

Referências

Documentos relacionados

(1) Leaders should pay close attention to their organizational cultures: Since the external institutional environment of SOEs directly affect internal organizational

A partir destes questionamentos e devido à grande importância e influência do perfil do professor na formação profis- sional do futuro cirurgião-dentista, optou-se por este

Diante disto, este trabalho busca o estudo estatístico sobre a evasão de alunos na Universidade Federal do Ceará – Campus Russas, dando ênfase nos problemas

17 healthy volunteers were subjected to 20 min massage on the neck and shoulder, and the mean surface temperature of 15 regions of the neck, upper body, arm, forearm and hand

O domínio da Prática profissional, ética e legal detém as competências mais compreendidas e concretizadas pelo enfermeiro de cuidados gerais em CSP.. Analisar a compreensão

Essas declarações podem ser visualizadas quando indagados sobre o significado da Marujada, marujas e marujos Trabalho de Campo, 2009 afirmam: “É a razão da minha vida”; “É algo

Para tal a nossa função seria facilitar o processo educativo destas crianças, e em vez de o ensino ser centrado em nós estagiárias, as crianças é que estariam no centro

2001).' A partir de observações feitas sobre as condi- ções do desenvolvimento da produção, das técnicas e dos mercados da agricultura orgânica em três redes exis- tentes no