Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10183/4678 |