Mapeamento UML-RT para p-calculus.

Mapeamento UML-RT para p-calculus.

A UML (Unified Modeling Language) é uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), é uma extensão da UML que permite a modelagem de sistemas de tempo real distribuídos e guiados p...

Full description

Bibliographic Details
Main Author: Juliana de Melo Bezerra
Other Authors: Celso Massaki Hirata
Format: Others
Language:Portuguese
Published: Instituto Tecnológico de Aeronáutica 2006
Subjects:
UML
Pi-cálculo
Álgebra de processos
Verificação formal
Semântica de linguagem de programação
Modelagem (processos)
Operação em tempo real
Programação orientada para objetos
Desenvolvimento de software
Computação
Online Access:http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=365

Internet

http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=365

Similar Items