Return to Article Details Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models Download Download PDF