Transforming UML 'Collaborating' Statecharts for Verification and Simulation
Due to the increasing complexity of real world problems, it is costly and difficult to validate today's software-intensive systems. The research reported in the paper describes our experiences in developing and applying a set of methodologies for specifying, verifying, and validating system temporal...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
International Institute of Informatics and Cybernetics
2003-04-01
|
| coleção: | Journal of Systemics, Cybernetics and Informatics |
| Assuntos: | |
| Acesso em linha: | http://www.iiisci.org/Journal/CV$/sci/pdfs/000787.pdf
|
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|