1
java.util 패키지의 스택 용 OCL (Object Constraint Language)
시험을 치르고 있으며 과거의 논문을보고 무엇을 기대해야하는지에 대한 아이디어를 얻고 있습니다. 나는 다음 중 하나에 약간 붙어있어 누군가가 몇 가지 예를 들어 줄 수 있다면 정말 감사하겠습니다. 다음 각 조작 (java.util 패키지의 Stack 클래스에 포함됨) 각각에 대해 OCL에 사전 조건 및 사후 조건을 작성하십시오. (1) Boolean empty ()-이 스택이 비어 …