Buscar
Mostrando ítems 1-10 de 29
Mapeando CSP em UML-RT
(Universidade Federal de Pernambuco, 2014)
Desenvolvimento rigoroso com Uml-Rt
(Universidade Federal de Pernambuco, 2014)
UML 2.0 interactions with OCL/RT constraints
(UR. FI-INCO,, 2007)
The use of formal methods at early stages of software development contributes to the reliability and robustness of the system to be constructed. Int his context, real-time system development benefits from the construction ...
ipProcess: um processo para desenvolvimento de IP-Cores com implementação em FPGA
(Universidade Federal de Pernambuco, 2014)
Geração automática de Diagramas UML-RT a partir de Especificações CSP
(Universidade Federal de Pernambuco, 2014)
Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP
(Universidade Federal de Pernambuco, 2014)