Xeraph@NCHOVY

한데, 데이터란 무엇을 뜻하는가? '짜맞추거나 골라내는 연산으로 만들어 낼 수 있는 것'이라는 설명으로는 충분치 않다. (중략) 흔히 데이터란, 짜맞추개나 고르개, 이런 프로시저가 알맞은 데이터 표현을 만들어 내는지 따져볼 수 있는 조건까지 함께 정의해 놓은 것을 말한다.

• C. A. R. Hoare 1972
• 요약된 모형법 (abstract model method)
• 프로시저마다 만족해야 할 조건을 밝히는 방식
• 이미 정의된 데이터에 관하여 밝혀진 사실을 바탕으로 Assertion 가능
• Zilles, Goguen, Thatcher, Wagner, Wright, Guttag
  
• 대수 명세법 (algebraic specification)
• 프로시저를 요약된 대수 체계의 원소로 보고 그 성질을 공리로 밝힌다.
• 데이터 Assertion 할 때 대수 기법을 써서 검증
  
• 공리가 요약된 모형법에서의 조건에 해당됨
  
• Liskov and Zilles 1975