Buscar
Mostrando ítems 11-20 de 117
FormAr: software architecture formalization for critical applications
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-11)
Errors during the software development may give rise to flaws in the system
that can cause important damages. One of the most important stages in the
software development process is modelling the system architecture, ...
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)
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)
Uma técnica baseada em eventos para rastreabilidade entre requisitos modelados com SysML
(Universidade Federal de SergipePós-Graduação em Ciência da ComputaçãoBrasilUFS, 2017)
Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos
(Universidade Federal de Pernambuco, 2015)
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)
Integração de modelos de processos de negócio com modelos de requisitos de software : um caso na área de saúde
(Universidade Federal de SergipePós-Graduação em Ciência da ComputaçãoBrasilUFS, 2017)
Towards software architecture formalizationTowards software architecture formalization
(Universidade Federal do Rio Grande do NorteBrasilUFRNEngenharia de SoftwareInformática e Matemática Aplicada, 2023)
Modelagem e análise de especificações de sistemas de tempo-real críticos com restrições de energia
(Universidade Federal de Pernambuco, 2014)
IoTsecM: UML/SysML extension for internet of things security modelling
(2018-08-06)
RESUMEN:
El dominio del Internet de las cosas implica un cambio revolucionario en nuestro entorno, nuevos elementos virtuales se agregan al Internet, los cuales son intitulados las "Cosas". Los objetos físicos son ...