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...

Full description

Bibliographic Details
Main Author: Ribeiro, Fabíola Gonçalves Coelho (author)
Format: doctoralThesis
Language:eng
Published: 2020
Subjects:
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
Online Access:https://doi.org/10.14393/ufu.te.2019.2608
Country:Brazil
Oai:oai:repositorio.ufu.br:123456789/30473

Internet

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

Similar Items