형식적인 방법-대수 사양에 대한 객체 지향

Question

나의 중간에 어떤 연구과되지 않을 찾을 수있을 많은 문헌을,도움을 비교하려면 플랫폼에 종속성의 두 형식적인 방법;대수 사양 및 객체 지향합니다.는 언어들이 사용하는가?

누군가의 지식이나 저 오른쪽 방향으로 가야합니까?감사

Answer 1

내가 무엇을 알고"대수 사양"단(GIYF:보 http://en.wikipedia.org/wiki/Algebraic_specification 로)회사는 내장한 시스템 및 산업습니다.언어""그의 추상적 데이터 형태,기능,서명하고 공리 설명하는 기능이 무엇인지 않으로,ADTs,서명하고 공리 패키지로 제공되는 경우가 많으로 매개 변수가 있는"algebras"할 수 있는 결합하여 더 복잡한 algebras.

I'm not sure what you mean by"객체 지향"(사양).가장 OO"디자인이"는 단순히 세트 클래스(는 암시적으로 나타내는 데이터 형식)및 서명과 연결되지 않은 의미입니다.나는 거의 전화는 그는"사양";오히려,그들은"스케치".

Answer 2

Pardon Me, 그러나 정의에 의한 사양은 플랫폼 독립적입니다.객체 지향 모델링을 지원하는 사양 언어를 찾고있는 경우 VDM ++가 좋은 적합성이라고 가정합니다.

Answer 3

이 논문이 당신을 도울 수 있다고 생각합니다.그러나 온라인으로 사용할 수 있습니다 (Google IT). 그러나 게시되었는지는 확실하지 않아야합니다.저자 DBLP에서 그것에 대해 아무것도 없습니다.

"니콜라스 굴곡, Olivier Biberstein, Didier Buch, Ercument Canver, Marie-Claude Gaudel, Friedrich von Henke, Detlef Schwier.