Сегерлинд Л. Применение метода конечных элементов

Айзенекер У., Чарнецки К. Порождающее программирование: методы, инструменты, применение

формат djvu
размер 47.92 МБ
добавлен 03 декабря 2009 г.

Год издания: 2005. Серия: Для профессионалов. Издательство: Питер. Язык: русский. Кол-во страниц: 876. Порождающее программирование (Generative Programming, GP) открывает перед разработчиками приложений глобальные перспективы. Оно реализует идею перехода от одноразовых программных систем к полуавтоматическому производству самых разнообразных продуктов. Самое ценное качество методики порождающего программирования состоит в том, что она учитывает...

Бек Кент. Экстремальное программирование

формат pdf
размер 2.54 МБ
добавлен 15 апреля 2011 г.

Экстремальное программирование - это упрощенная методика организации производства для небольших и средних по размеру команд разработчиков, занимающихся созданием программного продукта в условиях неясных или быстро меняющихся требований. Данная книга поможет определить, оправдано ли применение XP в вашей ситуации. Основные вопросы, которые рассматриваются в этой книге: экономические аспекты программного обеспечения; стоимость внесения изменений; б...

Бек Кент. Экстремальное программирование. Разработка через тестирование

формат pdf
размер 10.19 МБ
добавлен 30 марта 2009 г.

Изящный, гибкий и понятный код, который легко модифицировать, который корректно работает и который не подкидывает своим создателям неприятных сюрпризов. Неужели подобное возможно? Чтобы достичь цели, попробуйте тестировать программу еще до того, как она написана. Именно такая парадоксальная идея положена в основу методики TDD (Test-Driven-Development – разработка, основанная на тестировании). Бессмыслица? Не спешите делать скороспелых выводов. Ра...

Благодатских В.А. др. Стандартизация разработки программных средств

формат djvu
размер 1.77 МБ
добавлен 30 июня 2010 г.

Учеб. пособие / В. А. Благодатских, В. А. Волнин, К. Ф. Поскакалов; Под ред. О. С. Разумова. М.: Финансы и статистика, 2005. -288 с: ил. Создание конкурентоспособной программной продукции невозможно без использования соответствующих стандартов на всех этапах ее разработки. В пособии описываются жизненный цикл программных средств, его процессы, подробно рассматриваются содержание и применение действующих российских и международных стандартов в обл...

Влиссидес Дж. Применение шаблонов проектирования. Дополнительные штрихи

формат pdf
размер 2.29 МБ
добавлен 24 февраля 2011 г.

М.: Вильямс, 2003. - 144 с. - ISBN: 5-8459-0393-9, 0-2014-3293-5 Книга одного из "Банды четырёх" - авторов знаменитой "Design Patterns". Данная книга предназначена для разработчиков программного обеспечения, использующих в своей работе шаблоны проектирования. Шаблоны по праву считаются сегодня одной из наиболее популярных концепций объектно-ориентированного программирования. В этой книге на многочисленных примерах рассматриваются важные аспекты...

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем

формат djvu
размер 11.89 МБ
добавлен 15 февраля 2011 г.

СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем

формат pdf
размер 14.99 МБ
добавлен 15 февраля 2011 г.

СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов

формат pdf
размер 3.32 МБ
добавлен 17 августа 2011 г.

Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов: 2-изд. Дополненное и переработанное.–Киев: Наук. думка, 2009.–372с.– ISВN 978-966-00-0848-1. В монографии систематизированы существующие подходы и методы сборки сложных программ из более простых программных ресурсов (модулей, компонентов, компонентов повторного использования – КПИ и программ). Приведено теоретическое обобщение и обоснование метода...

Пратт Т., Зелковиц М. Языки программирования. Разработка и реализация

формат djvu
размер 5.72 МБ
добавлен 28 июня 2010 г.

Издательство Питер, 2002г, 688стр ISBN: 5-318-00189-0 В четвертом издании книги известных американских специалистов в области языков программирования Т. Пратта и М. Зелковица рассматриваются общие концепции разработки и реализации языков программирования, а также основы формальных грамматик и конечных автоматов - математических моделей, используемых для определения и реализации языков программирования. Это именно та база, которая необходима высо...

Смирнов А.А., Хрипков Д.В. Технологии программирования: учебно-практическое пособие

формат pdf
размер 1.04 МБ
добавлен 02 декабря 2011 г.

ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ : учебно-практическое пособие. – М. : Изд. центр ЕАОИ, 2009. – 191 с. учебно-практическое пособие посвящено изучению важнейших направлении развития технологий программирования;особенности использования объектно-ориентированного программирования в различных системах;технологии программирования, основанные на динамическом распределении памяти;технологии программирования, используемые при обработки экономической информаци...