Transformation of UML Behavioral Diagrams to Support Software Model Checking
Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and...
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Artigo |
| Langue: | Inglês |
| Publié: |
Open Publishing Association
2014-04-01
|
| Collection: | Electronic Proceedings in Theoretical Computer Science |
| Accès en ligne: | http://arxiv.org/pdf/1404.0855v1 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|