rediskus: когда я писал про литературу, имел в виду доступные с рутрекера книги по связке БД и Delphi, причём описывающие более-менее свежую версию программы.
Насчет B - вы правы, только пишут они на AMN (Abstract Machine Notation), и после доказательства непротиворечивости абстрактной модели проводят процедуру детализации (refinement), переводя конструкции AMN в исполняемый программный код. При этом, разумеется, свойство непротиворечивости должно сохраниться. Сейчас популярна фишка с переводом на Java, поэтому и заинтересовался. Delphi удобен в том смысле, что он более близок к B. Например, объявление всех переменных в начале программы - одинаково в Delphi и B. Мне это кажется более удобным, чем впихивать переменные в любом месте программы :) Однако судя по нынешнему состоянию дел, делфа не у дел :) Вот и захотелось выбрать инструмент поновее. Задача реальная, поэтому можно и дело полезное сделать, и новый язык разобрать. Более склоняюсь к Java.
AVKor: Да, Вы правы, - к этому склоняюсь более всего. Уже прочитал историю вопроса и отличия одного от иного, пожалуй, выберу Java. Еще бы по ней норм литературу найти (связка БД и Java). И, если можно, еще один вопрос: например, я реализую пока проект на delphi (костяк там склепать недолго со старой наработки, просто чтобы базу начать заполнять). По идее, возможно потом просто перенести файл базы данных в java-проект, верно?
zedxxx: и чтобы решить проблему, и чтобы разобраться кроме делфы в более весомом языке. Уже дня три рою литературу и форумы, но определиться всё никак не могу.
AVKor: проект вполне реальный, никакой иллюзорности. Похожее я писал на делфе лет 5-6 назад, с тех пор многое подзабылось, но несложно вспомнить. Просто смысла нет вспоминать неприменимое, если есть шанс выучить новое и реально применимое :)
Спасибо за Ваш ответ, но ведь, насколько я понял из дискуссий программистов на различный сайтах, знания по delphi бесполезны ввиду невозможности их применения в реальных проектах. Поэтому и выбираю между C# и Java :)
aol-nnov: да, про него. Насколько я понял по беглому обзору java, с ним возможна такая комбинация: пишем код, компилим под Win и Android, предварительно изменив view для более удобного представления на планшете. А потом, при необходимости, перетаскиваем файл базы из одного приложения в иное. Это верно хоть отчасти? :)
Все компы в пределах досягаемости :) А вот инет нестабилен, поэтому функцию передачи базы на сервак я встраивать буду (думаю, такое есть), а вот работать придется локально.
Спасибо за совет! Задам совсем нубский вопрос: возможен вариант простого переноса файлика БД из Win в Андроид? Т.е., нужно уехать и работать за планшетом - переносим файл БД на планшет и продолжаем работу.
Спасибо за ответ :) Но если на компе инсталлирована виртуальная машина для java, то сформировать обычный исполняемый файл с её помощью возможно, так? Хотя, судя по Вашему ответу, ближе к целям C#. Просто хочется если уж изучать, то нечто стоящее.
Написано
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Насчет B - вы правы, только пишут они на AMN (Abstract Machine Notation), и после доказательства непротиворечивости абстрактной модели проводят процедуру детализации (refinement), переводя конструкции AMN в исполняемый программный код. При этом, разумеется, свойство непротиворечивости должно сохраниться. Сейчас популярна фишка с переводом на Java, поэтому и заинтересовался. Delphi удобен в том смысле, что он более близок к B. Например, объявление всех переменных в начале программы - одинаково в Delphi и B. Мне это кажется более удобным, чем впихивать переменные в любом месте программы :) Однако судя по нынешнему состоянию дел, делфа не у дел :) Вот и захотелось выбрать инструмент поновее. Задача реальная, поэтому можно и дело полезное сделать, и новый язык разобрать. Более склоняюсь к Java.