..::agp1 Software::..
Последние изменения: 5 августа, 2017 Next
{agp1 Software}

Проектирование и разработка реляционных баз данных, формальные спецификации, консультирование, техническая документация
адрес электронной почты: stopspam.agp1.ua ухо gmail дот com.stopspam
Законченные проекты: {
- elGeo: Библиотека вычислений на эллипсоидах , 2017;
- Doxygen: Журналирование работы многосредовых приложений , 2017 (Скаковский);
- Doxygen: Библиотека разбора аргументов командной строки , 2017;
- Неполное руководство по SQLite для пользователей Winows : перевод четвертой и пятой глав монографии Grant Allen и Mike Owens 'The Definitive Guide to SQLite' , 2013;
- Формализация парадигмы обьектно-ориентированного программирования. 2007, (А.Пискунов) ;
- Возвращение Goto : web-переменные и переходы между aspx страницами. Август 2006, (А.Пискунов, С.Петренко) ;
- Graphiz и Sed : построение схемы иерархии наследования. Май 2006, (А.Пискунов, С.Петренко) ;
- Doxygen и Graphiz : документирование проектов на C#. Апрель 2006, (А.Пискунов, А.Горбань) ;
- Raise Specification Language : проектирование и декомпозиция потоков данных интерактивного приложения, Октябрь, 2005, (А.Пискунов) ;
- Пример Использования Qt: Отображение Видеопотока Web Камеры: Пояснительная Записка Ноябрь, 2005, (А.Пискунов, О.Головко) ;
- Литературное программирование: Использование утилит SED и MAKE для преобразования лексем RAISE в символы LaTex-a. Июль, 2005, (А.Пискунов) ;
- ComVu.com , 2005; UniSay.com, 2002; ITV.net , 2000 - база данных для приложений интернета, (О. Головко, А. Пискунов, Sybase ASA SQL, Oracle SQL);
- Наблюдаемые модели Маркова. Май, 2005, (О.Головко, А.Пискунов) ; Перевод статьи в подборке материалов по теме Марковские модели в экономических системах массового обслуживание Чернова А.С. (Донецкий Национальный Технический Университет).
- Коммуникационная Компонента Системы Управления Заправочной Станцией - Пример показывающий использования языка формальных спецификаций RAISE и ASAI - Библиотеки обмена данными приложения с SQL сервером, 2002, (Win 32, MS C++, Sybase ASA SQL);
- Outtrak- распределенная база данных для выездной торговли, 2000..2002, (В.Федченко, А.Пискунов, М. Роньшин, М.Николаев, А. Павлов, Win 32, Windows CE, MS C++, Sybase ASA SQL, ASAI - Interface Library of Data Exchange of agp1 Software);
- Первая версия системы ограничения доступа Золотые ворота, 1999-2000, ( А. Пискунов, С. Требин, В. Иващук, Win32, MS C++, PowerBuilder, Sybase ASA SQL);
-Приложения для автоматизации складского учета itv.kiev.ua - не коммерческий проект, 1997..1998, (А.Пискунв, О. Головко, Win32, MS C++, PowerBuilder, Sybase ASA SQL);
- Использование реляционной модели при создании картографической базы данных, 1992..1996, КБ "Шторм" Национального Технического Университета Украины - КПИ, Киев (А.Пискунов, М. Николаев, В.Малышко, М. Роньшин, А.Мокринцев, В.Данилов, Д.Орлов, MS-DOS, Borland C++, Paradox Engine, Yacc);
- Экспресс - методика билатерального тестирования индивидуально - типологических свойств высшей нервной деятельности человека (мобильность нервных процессов), 1991..2006, защищено патентами Украины и России (И.Седаков, А.Пискунов, В.Трошихин, MS-DOS, Turbo C);
- Минимально неметрезуемые группы, Украинский Математический Журнал (1991), 1111-1114 (Russian); Ukr. Math. J. 43 (1991), 1044-1046 (English) (А. Пискунов, Е. Зеленюк);

}
 
Tools {

- Unix Утилиты для Win32: tar, gzip, zip, unzip, sed, touch, grep, shell, find, и так далее (GNU, Win32);
- how to use tar && gzip? - to unpack foo.tar.gz just type "utar.bat foo";
- HTK-3.2 compiled for Win32;
- ssh client - native Win32 applicatian to use Unix;
- RAISE Specification Language Type Checker (C.W.George);
- RAISE Specification Language Type Checker native Win32 2.5 version. Compiled by M.V.Nikolaev ;
- Документатор RIO (М.Николаев, A.Мединец, А. Пиковский, Win32, FreeBSD);
- RIO в LaTex конвертор(agp1 Software, Win32);

}
 
Software {
- Отображение видеопотока usb web камеры(FreeBSD 5.3, Qt 4.0.1);
- QBE to SQL convertor (Win 32, MS C++);
- the configuration library (FreeBSD, Win 32, MS C++);
- ASAI - original Библиотека Обмена Данными (Sybase ASA SQL, Win 32, MS C++);
- Gas Station ( beta is ready) - Example of usage ASAI, RSL and RSL Type Checker to develop SQL - based application (Win 32, MS C++, Sybase ASA SQL);
- Harbour - Пример использования предыдущей версии библиотеки ASAI и RAISE specification method для разработки RDBMS приложения (Win 32, MS C++, Sybase ASA SQL);
- Good Bye Windows - Example of native Win32 "Windows-independent" application and article "About Architecture of Interactive Systems" (docs/ascii/bld/ais.txt)   (Win 32, MS C++);
- number2word convertor (V.V.Bubnov, Win 32, PowerBuilder);
- the almost SQL LIKE operation (Win 32, Paradox);
- Тестирование мобильности нервны процессов головного мозга, 1991, защищена патентами Украины и России (I.A.Sedakov, V.V.Troshichin, MS-DOS only, Turbo C);
}
 
Links {
- OO DataBases: short review. Sergei Kuznetzov (russian);
- Linux по-русски;
- Joel Spolsky Статьи на русском языке;
- Формальные спецификации: Лекции ВМиК МГУ;
- Технологии программирования компонентный подход. В.В. Кулямин. ВМиК МГУ;
- ГОСТ .
}
 
High arts {
- Что такое тип? Дениса Бь0рнер (Dines Bj0rner). Перевод раздела 5 Types, подраздела 6.5 Type Definitions и, частично, 18 Types in RSL из первого тома Software Engineering 1. Abstraction and Modelling
- Типы и классы в языках, основанных на классах Л.Карделли, М.Абади. Перевод двух глав из монографии Теория объектов; (см. \url{http://www.lucacardelli.name/TheoryOfObjects.html}).
- Композиционное Проектирование Приложения Г. Майерс. Перевод 6 главы из монографии Надежность программного обеспечения;
- НадРеляционный Манифест Е. Григорьев (aka U-Gene), Июнь, 2005;
- Hugh Darwen and C.J.Date. Третий манифест./SIGMOD Record, Vol. 24, No. 1, March 1995. - pp.39-49. (English);
- A tutorial on Hidden Markov Models and Selected Applicatons in Speech Recognition. Lawrence R. Rabiner, Proceeding of thhe IEEE, vol.77, no. 2, February 1989;
- Процесы, которые мы потеряли Legalov A.I.; SoftCraft.Ru, (russian);
- On Formalising Graphical User Interfaces Dines Bj0rner;
- Литературное программирование Donald Knuth; Не очень краткое введение в LaTex 2e , Tobias Oetiker, April, 1999, перевод Б.Тоботрас; Не очень краткое введение в LaTex 2e , Tobias Oetiker, April, 2003, перевод Б.Тоботрас;
- HTK : The Hidden Markov Model Toolkit (HTK) is a portable toolkit for building and manipulating hidden Markov models. HTK is primarily used for speech recognition research although it has been used for numerous other applications including research into speech synthesis, character recognition and DNA sequencing. HTK is in use at hundreds of sites worldwide. Basic tutorial. HTK Book.
- A Future for Computing Science Dines Bj0rner, SEA Seminar, Tokio, Japan, June 17th, 2002;
- 1, 2 C++? A Critique of C++ and Programming and Language Trends of the 1990s. 3rd Edition. Ian Joyner;
- The RAISE Development Method , (PDF) , The RAISE Method Group, 1999; Введение в RAISE , Chris George, 2004; Учебник RAISE , Chris George, 2002; Cправочник RAISE , Chris George, 2004;
- Аксиомы Peano и натуральные числа : пример применения языка RSL;
- Проектирование графического интерфейса пользователя;
- Сравнение 7 языков программирования. Lutz Prechelt, Open Systems, 15.12.2000;
- The Quarks of Object-Oriented Development Deborah J. Armstrong, 2006;
}
 
Rambler's Top100

Prev Home Next
disigned by V.Ivashchuk