Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”

O.V. Palagin, M.G. Petrenko, V.Yu. Velychko, K.S. Malakhov

Abstract


The given paper considered a generalized model representation of the SS ICOP. Represented complete software system development process. Developed relevant formal models of SS ICOP, represented as mathematical expressions, UML diagrams, and also described the three-tier architecture of SS ICOP in a client-server environment.

Prombles in programming 2014; 2-3: 221-232


References


Коваль В.Н. Доказательное проектирование. – Киев: Наук. думка, 2001. – 182 с.

Соммервилл И. Инженерия программного обеспечения. – 6-е изд. – М.: «Вильямс», 2002. – С. 642.

Гринфилд Д., Кит Шорт, Стив Кук, Стюарт Кент, Джон Крупи. Фабрики разработки программ: потоковая сборка типовых приложений =Software Factories: Assembling applications with patterns, models, frameworks and tools. – М.: «Диалектика», 2006. – С. 592.

Кривий С.Л. Вступ до методів створення програмних продуктів. Видавничий дім «Букрек», 2012. – 424 с.

Кон М. Scrum: гибкая разработка ПО = Succeeding with Agile: Software Development Using Scrum. (Addison-Wesley Signature Series). – М.: «Вильямс», 2011. – С. 576.

Koskela L. Test Driven: TDD and Acceptance TDD for Java Developers // Manning Publications, 2007.

McConnell S. Software Estimation: Demystifying the Black Art // Microsoft Press, 2006.

Палагин А.В., Крывый С.Л., Петренко Н.Г. Онтологические методы и средства обработки предметных знаний – [монография] – Луганск: изд-во ВНУ им. В. Даля, 2012. – 323 с.

Жуков Д.Ю., Миронов А.М. Математическая модель и методы верификации программных систем // Информационные технологии и вычислительные системы, 2005, Вып. 1. – С. 49–67.

Миронов А.М. Математическая теория программных систем // Материалы к спецкурсу Вычислительная логика. Режим доступа:

http://www.intsys.msu.ru/staff/mironov/mthprogsys.pdf

Broy M. Mathematical Methods in System and Software Engineering // NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES. – SPRINGER VERLAG, German. – 1997. – Vol 158. – P. 271–312.

Broy M. Mathematical System Models as a Basis of Software Engineering // LECTURE NOTES IN COMPUTER SCIENCE. – 1995. – ISSUE 1000. – P. 292.

Marshall C. Enterprise Modelling with UML // Addison-Wesley, Reading, MA, 2000.

Booch G., Rumbaugh J., Jacobson I. The Unified Modeling Language User Guide // Addison-Wesley, Reading, MA, 1999.

Quatrani T. Visual Modeling with Rational Rose and UML // Addison-Wesley, Reading, MA, 1998.

UML Component Diagrams: Guidelines. Режим доступа: http://msdn.microsoft.com/en-us/library/vstudio/dd409393.aspx.

Голышев Л.К. Системный подход к анализу и проектированию сложных систем. Системный проект: научн. моногр. К. : ГП «Информационно-аналитическое агентство», 2011. – 555 с.

Deployment Patterns (Microsoft Enterprise Architecture, Patterns, and Practices). Режим доступа: http://msdn.microsoft.com/enus/library/ff646997.aspx.

Fowler M. Patterns of Enterprise Application Architecture. Addison Wesley, 2003.

Eckerson W. Three Tier Client/Server Architecture: Achieving Scalability, Performance, and Efficiency in Client Server Applications // Open Information Systems 10, 1, January 1995: 3(20).


Refbacks

  • There are currently no refbacks.