Concepedia

Using AI-Methods to Improve Software Safety

Norbert Theuretzbacher

IFAC Proceedings Volumes · 1986 · 12 citations · 3 references

On this page

Concepts

References

Concepts

EngineeringComputer EngineeringComputer ScienceArtificial IntelligenceSafety EngineeringSoftware EngineeringError PreventionSafety Case DevelopmentSafety SystemsSafety-critical SystemsSoftware ValidationSystem SafetySafety-critical SoftwareSafety-critical Software EngineeringSoftware Safety

References

3

Rete: A fast algorithm for the many pattern/many object pattern match problem

Charles L. Forgy · Artificial Intelligence · 1982 · 2.6K citations

Computing, Computer Science, Algorithms +9

Building expert systems

Frederick Hayes‐Roth, D. A. Waterman, Douglas B. Lenat · 1983 · 1.7K citations

Management, Information Systems, Knowledge Management +16

Reliability Versus Safety

Marco Mulazzani · IFAC Proceedings Volumes · 1985 · 26 citations