Formal methods state of the art and future directions.

Formal methods state of the art and future directions.

التفاصيل البيبلوغرافية
الحاوية / القاعدة:ACM computing surveys. 28, 4 (1996).
المؤلف الرئيسي: Clarke, Edmund M.
مؤلفون آخرون: Wing, Jeanneth M.
التنسيق: مقال
اللغة:English
الموضوعات:
Computing Milieux.
Management of Computing and Information Systems.
General Literature.
Software.
Software Engineering.
Theory of Computation.
Mathematical logic and formal languages.
Algorithms.
Design.
Languages.
Performance.
Reliability.
Theory.
Verification.