結果 : formal specification in software engineering geeksforgeeks