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 tem...
| Published in: | Journal of Systemics, Cybernetics and Informatics |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
International Institute of Informatics and Cybernetics
2003-04-01
|
| Subjects: | |
| Online Access: | http://www.iiisci.org/Journal/CV$/sci/pdfs/000787.pdf
|