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...

Full beskrivning

Bibliografiska uppgifter

I publikationen:	Software engineering notes. 30, 5 (2005).
Huvudupphovsman:	Inverardi, Paola
Materialtyp:	Artikel
Språk:	English
Ämnen:	Software. Software engineering. Software architectures. Computing methodologies. Simulation and modeling. Model validation and analysis. Design. Verification. Model checking.