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

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 30, 5 (2005).
Tác giả chính:	Inverardi, Paola
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Software. Software engineering. Software architectures. Computing methodologies. Simulation and modeling. Model validation and analysis. Design. Verification. Model checking.