Formal methods (Computer science) (Topical Term)

Number of records used in: 3

Preferred form: Formal methods (Computer science)

Used for/see from:

Biçimsel metodlar (Bilgisayar bilimi)
Biçimsel yöntemler (Bilgisayar bilimi)
Biçimsel metotlar (Bilgisayar bilimi)

See also:

Broader heading: System design

Notes

Work cat.: 99-29060: International Conference on Integrated Formal Methods, 1999.

ASTI (hdg.: Formal methods)

Encyc. computer sci. (Formal methods used in developing and verifying software and hardware are mathematically-based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.)

Yahoo, May 6, 1999 (category: Science: Computer science: Formal methods)

TR-AnTOB Op 05.05.2020