Publication | Closed Access

A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics.

Reachability AnalysisModel-based System EngineeringEngineeringFormal MethodsSoftware EngineeringSystems EngineeringModel-driven ApproachComputer ScienceNon-functional PropertiesSystem MetricDependable System ArchitectureFormal VerificationSoftware DesignSystem SpecificationGlobal Qos Metrics