The 10 commandment Formal Methods Ten Commandments By

The 10 commandment Formal Methods’ Ten Commandments By Vong Sengdara 1/23/2022 I am Vong 1

Commandment: The First One! u Thou shalt choose the appropriate notation – pick the formal method that best fits the type of application to be developed 1/23/2022 I am Vong 2

Commandment: The First second! u Thou shalt formalize, but not over-formalize – apply formal methods to the most critical components first and avoid complicating the trivial 1/23/2022 I am Vong 3

Commandment: The First Third! u Thou shalt estimate costs – high start-up costs formal methods must be considered when examining return on investment 1/23/2022 I am Vong 4

Commandment four u Thou shalt have a formal methods guru on call – expert training and consultation are essential for success the first time Discuss how recommendation addresses the problem 1/23/2022 I am Vong 5

Commandment five! u Thou shalt not abandon thy traditional development methods – formal methods can be used in conjunction with conventional methods 1/23/2022 I am Vong 6

Commandment Six! u Thou shalt document sufficiently – natural language commentary should often accompany the formal specification 1/23/2022 I am Vong 7

Commandment Seven! u Thou shalt not compromise thy quality standards – SQA activities must continue to be applied to systems 1/23/2022 I am Vong 8

Commandment Eight! u Thou shalt not be dogmatic – formal methods are not a guarantee of correctness 1/23/2022 I am Vong 9

Commandment Nine u Thou shalt test, and test again – formal methods do not replace the need for well-planned, thorough tests 1/23/2022 I am Vong 10

Commandment Ten u Thou shalt reuse – the only long term way to reduce costs and increase quality is through reuse 1/23/2022 I am Vong 11

I am Vong! u Thank you! u Have a fantastic day 1/23/2022 I am Vong 12