Making Things Easy and Predictable ⑧ s》 CASE Tool Model Checking Code Generation Requirements Manag. Common Repository Analyze Build Code Validate Requirem. Verify Design Integration of V&V Information Reliability Analysis Schedulability Analysis WCET Analysis Performance Simulation A Framework of Collaborative Environments,from SPEC to Implementation.Making Things Easy and Predictable  A Framework of Collaborative Environments，from SPEC to Implementation