CHARMY an extensible tool for architectural analysis.

CHARMY an extensible tool for architectural analysis.

CHARMY is a framework for designing and validating architectural specifications. In the early stages of the software development process, the CHARMY framework assists the software architect in the design and validation phases. To increase its usability in an industrial context, the tool allows the u...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:Software engineering notes. 30, 5 (2005).
1. Verfasser: Inverardi, Paola
Format: Artikel
Sprache:English
Schlagworte:
Software.
Software engineering.
Software architectures.
Computing methodologies.
Simulation and modeling.
Model validation and analysis.
Design.
Verification.
Model checking.