Buscar
Mostrando ítems 1-10 de 58
Formalisation of SysML design models and an analysis strategy using refinement
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Engenharia de aplicação para sistemas embarcados : transformando especificações SysML em Simulink
(Universidade Estadual de MaringáBrasilDepartamento de InformáticaPrograma de Pós-Graduação em Ciência da ComputaçãoUEMMaringá, PRCentro de Tecnologia, 2018)
SyMPLES : uma abordagem de desenvolvimento de linha de produto para sistemas embarcados baseada em SysMLSyMPLES: a SysML-based Approach for Developing Embedded Systems Software Product Lines
(Universidade Estadual de MaringáBrasilDepartamento de InformáticaPrograma de Pós-Graduação em Ciência da ComputaçãoUEMMaringá, PRCentro de Tecnologia, 2018)
Aspectos iniciais modelados com uma extensão da SYSML
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
Geração automática de especificações executáveis em systemc a partir de modelos SysML
(Universidade Federal de Minas GeraisUFMG, 2011-11-03)
Embedded system modeling is an important area of research nowadays, and system design become critical as implementation technology progress toward complex integrated circuits and the time-to-market pressure continues to ...
Uma técnica baseada em SysML para modelar a arquitetura de sistemas embarcados de tempo real
(Universidade Federal de SergipePós-Graduação em Ciência da ComputaçãoBrasilUFS, 2017)
Modelagem de requisitos de software de tempo-real usando SysML e MARTE
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
RTSS: uma família de técnicas de leitura para suporte à inspeção de modelos SysML e Simulink
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2014-05-30)
Context: Usually, developers of Embedded Systems (ESs) start the development from models next to the code generation phase, for example, SysML diagrams and Simulink models. Despite the whole use of these models by the ...
Transformação de modelos SysML para UML usando a linguagem ATL
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)
Modelagem e análise de desempenho e consumo de energia em aplicações móveis
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)