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 use of UML-like notations to graphically design the system. Once the design is done, a formal prototype is automatically created for simulation and analysis purposes. The framework provides extensibility mechanisms to enable

• Type: Conference
• Year: 2005
• Where: SIGSOFT
• Authors: Paola Inverardi, Henry Muccini, Patrizio Pelliccione
• Keywords: Charmy Framework, Framework Provides Extensibility, SIGSOFT 2005, Software Development Process, Software Engineering