객체-Z

Object-Z

Object-Z는[1] 오스트레일리아 퀸즐랜드 대학에서 개발한 Z 표기법에 대한 객체 지향적인 확장이다.

Object-Z는 객체 지향 패러다임, 특히 클래스와 유사한 언어 구문을 추가하여 Z를 확장한다.다형성, 상속 등 다른 객체지향적 개념도 뒷받침된다.

기본 언어 Z만큼 인기가 있지는 않지만 Object-Z는 여전히 공식적인 방법 커뮤니티에서 상당한 관심을 받았으며, Object-Z를 사용한 하이브리드 언어,[2][3] 도구 지원(예: Community Z Tools 프로젝트를 통한) 및 정제 캘커리 등 언어의 측면에 대한 연구가 진행 중이다.[4]

참고 항목

참조

  1. ^ Smith, Graeme (2000). The Object-Z Specification Language. Springer. ISBN 978-1-4615-5265-9.
  2. ^ Mahony, B.; Dong, Jin Song (February 2000). "Timed Communicating Object Z". IEEE Transactions on Software Engineering. 26 (2): 150–177. CiteSeerX 10.1.1.62.820. doi:10.1109/32.841115.
  3. ^ Dong, J.S.; Duke, R.; Hao, P. (2005). Integrating Object-Z with timed automata. Engineering of Complex Computer Systems. pp. 488–497. CiteSeerX 10.1.1.62.793. doi:10.1109/ICECCS.2005.56. ISBN 978-0-7695-2284-5.
  4. ^ Derrick, John; Boiten, Eerke A. (2014). Refinement in Z and Object-Z (2nd ed.). Springer. ISBN 978-1-4471-5355-9.

외부 링크


Stub icon

이 프로그래밍 언어 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.