Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems

Os Sistemas de Tempo Real e Embarcados têm se tornado cada vez mais onipresentes nas atividades humanas. O grau de confiabilidade e de corretude com que estes sistemas são desenvolvidos têm um decisivo impacto em sua futura operação. Sendo assim, o sucesso no desenvolvimento destes sistemas está rel...

ver descrição completa

Detalhes bibliográficos
Autor principal: Ribeiro, Fabíola Gonçalves Coelho (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2020
Assuntos:
CNPQ::CIENCIAS EXATAS E DA TERRA
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO
Real-Time Embedded System
Requirement Engineering
System Architecture
SysML
MARTE
SPES
Non-Functional Constraints
Design Complexity
Computação
Texto completo:https://doi.org/10.14393/ufu.te.2019.2608
País:Brasil
Oai:oai:repositorio.ufu.br:123456789/30473

Texto Completo

https://doi.org/10.14393/ufu.te.2019.2608

Registos relacionados