About the method of projecting abstract data type at the algebra of algorithmic

A.Yu. Doroshenko, V.O. Iovchev

Abstract


A method of development of extended abstract data type and algebraic class is proposed. This abstract data type is an essential component of the phases of specification and projecting. The problem of completeness of the extended abstract data type is studied and the decision of sufficient completeness is proposed.


Keywords


Abstract data types; Algorithmic Algebra

Full Text:

PDF (Russian)

References


Ноден П., Китте К. Алгебраическая алго-ритмика (с упражнениями и решениями). – М.: Мир, 1999. – 720 с.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. 3-е изд., перераб. и доп. – Киев: Наук. думка, 1989. – 376 с.

Цейтлин Г. Е. Введение в алгоритмику. – К.: Сфера, 1999. – 720 с.

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические мо-дели и методы параллельного программи-рования. – Киев: Академпериодика, 2007. – 634 с.

Цейтлин Г.Е. Алгебраическая алгоритмика: тео-рия и приложения // Кибернетика и системный анализ. – 2003. – № 1. – С. 8 – 18.

Цейтлин Г.Е., Иовчев В.А., Мусихин А.А. Ментальные аспекты методов символьной мультиобработки // Проблеми програму-вання. – 2008. – № 1. – С. 60 – 67.

Иовчев В.А., Мохница А.С. Инструмен-тальные средства алгебры алгоритмики на платформе WEB 2.0 // Проблеми програ-мування. (матеріали конф. УкрПрог-2010). – 2010. – № 2 – 3. – С. 547 – 556.

Иовчев В.А., Мохница А.С. Формальный метод генерации программ в инструмен-тальных средствах алгебры алгоритмики // матеріали конф. TAAPSD’2010.

Дорошенко А.Е., Алистратов О.В., Тырчак Ю.М., Розенблат А.П., Рухлис К.А. Систе-мы Grid-вычислений – перспектива для на-учных исследований // Проблеми програ-мування. – 2005. – № 1. – С. 14 – 38.

Dahl O.-J., Dijkstra E. W. and Hoare C.A.R.. Structured Programming. Academic Press. 1972.

Parnas D.L. On the Criteria To Be Used in Decomposing Systems into Modules. Decem-ber 1972.

Barbara Liskov, Programming with Abstract Data Types, in Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, pp. 50--59, 1974, Santa Monica, California.

Robert T. Johnson, James B. Morris: Abstract Data Types in the Model Programming Language. Conference on Data: Abstraction, Definition and Structure 1976: 36-46.

John Guttag. Abstract Data Types and the Development of Data Structures, 1977. Bern, June 1997 2001.

Gougen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In: Current Trends in Programming Methodology, pp. 80-149. Prentice-Hall, Englewood Cliffs (1978).

Rod M. Burstall, Joseph A. Goguen: The Semantics of CLEAR, A Specification Language. Abstract Software Specifications 1979: 292-332.

Principles of OBJ2, K. Futatsugi et al., 12th POPL, ACM 1985, pp.52–66.

The Larch Family of Specification Languages, J. Guttag et al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985).

Dijkstra, E.W. (1976), A Discipline of Programming, Prentice-Hall Series in Automatic Computation, ISBN 0-13-215871-X.

J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types., Acta Informatica, vol. 10, p.27, 1978.

Bertrand Meyer: Object-Oriented Software Construction, Second Edition, Prentice Hall 1997, ISBN 0-13-629155-4.

The RAISE Method Group. The RAISE Development Method, 1999.

N. D. Birrell,Martyn A. Ould. A Practical Handbook for Software Development. ISBN: 9780521347921. February 1988. 272 pages.

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides: Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley 1995, ISBN 0201634988.

Jamie Shield. Towards an Object-Oriented Refinement Calculus, 2001. Thesis.

Bennet P. Lientz, E. Burton Swanson. Problems in Application Software Maintenance. Commun. ACM, 1981: 763~769, Cited By 168.

А.Г. Пискунов. Формализация парадигмы обьектно-ориентированного программирования: критика определения Гради Буча, 2007.

А.Г. Пискунов. The RAISE Method Group: АЛГЕБРАИЧЕСКОЕ ПРОЕКТИРОВАНИЕ КЛАССА, 2007.

Bruce Eckel.: Thinking in Java, 4th edition, 2006. Prentice Hall PTR, ISBN: 0131872486.


Refbacks

  • There are currently no refbacks.