Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq
En esta publicación se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Estos modelos son especificados por medio del cálculo − ρarq . Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transición R...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Distrital Francisco José de Caldas
2011-08-01
|
| Series: | Revista Científica |
| Subjects: | |
| Online Access: | https://revistas.udistrital.edu.co/index.php/revcie/article/view/608 |