結果 : formal system specification in software engineering geeksforgeeks