2023 · 13 citations · 1 references
BusinessComputer ScienceSystems EngineeringDecision Support SystemsQuality EngineeringDecision SupportDecision Support System DesignDecision Support Information SystemsDecision Support System ModelsIntelligent Decision Support SystemsProbability-based Decision MakingSoftware Quality AttributesSoftware Quality Measurement
A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent decision support systems is proposed.
1
Software model checking takes off
Steven P. Miller, Michael W. Whalen, Darren Cofer · Communications of the ACM · 2010 · 154 citations · Full text