Орам Энди, Уилсон Грег. Идеальный код. Как научиться видеть красоту в программировании

  • формат djvu
  • размер 30.84 МБ
  • добавлен 04 февраля 2012 г.
Питер / O’Reilly, 2011. -624с. В этой уникальной книге самые авторитетные разработчики программного обеспечения делятся опытом оригинального решения задач, которые вставали перед ними при реализации крупных IT-проектов С помощью этого издания читатель получит возможность оказаться на месте ведущих программистов, увидеть собственными глазами проблемы, возникавшие при реализации разнообразных проектов, и пройти увлекательный путь их преодоления. Ав...

Романова Т.Н. Тестирование программного обеспечения

  • формат doc
  • размер 57.67 КБ
  • добавлен 04 февраля 2012 г.
Московский государственный технический университет имени Н.Э. Баумана, 2003, 45с. Учебное пособие по курсу «Технология программирования» по специальности «Программное обеспечение ЭВМ и информационные технологии». Данная работа имеет цель – познакомить студентов с приемами и методами современного тестирования. В первой части учебного пособия рассказывается о современном подходе к тестированию программного продукта, о методике интегральной оценки т...

Sommerville I. Software Engineering (9th edition)

  • формат pdf
  • размер 13.89 МБ
  • добавлен 25 января 2012 г.
Hardcover: 792 pages Publisher: Addison Wesley; 9 edition (March 13, 2010) Language: English ISBN-10: 0137035152 ISBN-13: 978-0137035151 Intended for a sophomore/junior level course in software engineering. The ninth edition of Software Engineering presents a broad perspective of software engineering, focusing on the processes and techniques fundamental to the creation of reliable, software systems. Increased coverage of agile methods and softwar...

КПІЗ - Програма для створення знімків екрану - Screenshot Capturer

  • формат doc
  • размер 876.5 КБ
  • добавлен 15 января 2012 г.
Комплексне практичне індивідуальне завдання (КПІЗ) - Програма для створення знімків екрану – Screenshot Capturer ТНЕУ (Тернопільський національний економічний університет), ФКІТ (Факультет комп'ютерних інформаційних технологій), Кафедра комп'ютерних наук, ПЗАС (Програмне забезпечення автоматизованих систем), 4 курс, 1 семестр. Головні розділи, розкриті в роботі: 1. Вимоги до програмного засобу. 2. Зовнішній опис. 3. Кодування. 4. Тестування. 5...

Воробьев Э.И. Методы проектирования и разработки программных систем

  • формат djvu
  • размер 30.99 МБ
  • добавлен 06 января 2012 г.
Учебное пособие, изд-во ВГТУ, 2003, 82 стр В учебном пособии рассматриваются вопросы теории разработки программ. Издание соответствует требованиям Государственного образовательного стандарта высшего профессионального образования по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", специальностям 220300 "Системы автоматизированного проектрирования" и 071900 "Информационные системы и технологии", дисципли...

Гвоздева В.А. Введение в специальность программиста

  • формат pdf
  • размер 10.38 МБ
  • добавлен 03 января 2012 г.
М.: Форум, ИНФРА-М, 2007. - 208 с. Цель данной книги — сформировать представление о профессии программиста и дать основы для приобретения навыков в этой области деятельности. В учебнике рассматриваются содержание основных понятий программирования, история его развития, основные элементы и языки программирования, принципы структурного программирования и начала программирования в среде Turbo Pascal и системе Delphi. Дается материал о программном...

Conger S. New Software Engineering

  • формат pdf
  • размер 46.7 МБ
  • добавлен 03 января 2012 г.
Издательство Springer, 2008, -830 pp. As we move toward the 21st century, the techniques, tools, technologies, and subject matter of applications development are changing radically. Globalization of the work place is impacting IS development as well, by pressuring organizations to strive for competitive advantage through automation, among other methods. Strategic IS, reusable designs, downsizing, right-sizing, multimedia databases, and reusable...

Hutcheson M.L. Software testing fundamentals: methods and metrics

  • формат chm
  • размер 13.3 МБ
  • добавлен 27 декабря 2011 г.
John Wiley & Sons, 2003. - 408 pages. A software tester's survival guide from a leading expert in the field. Contents: The State of Software Testing Today Maintaining Quality Assurance in Today's Software Testing Environment Approaches to Managing Software Testing The Most Important Tests (MITs) Method Fundamental Metrics for Software Testing The Test Inventory How to Build a Test Inventory Tools to Automate the Test Inventory Risk Analysis...

Butler M., Jones C., Romanovsky A., Troubitsyna E. (eds.) Methods, Models and Tools for Fault Tolerance

  • формат pdf
  • размер 3.22 МБ
  • добавлен 21 декабря 2011 г.
Издательство Springer, 2009, -349 pp. The growing complexity of modern software systems increases the difficulty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires desi...

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

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

Martin R. The Clean Coder A Code of Conduct for Professional Programmers

  • формат pdf
  • размер 6.06 МБ
  • добавлен 01 декабря 2011 г.
Paperback: 256 pages Publisher: Prentice Hall; 1 edition (May 23, 2011) Language: English ISBN-10: 0137081073 ISBN-13: 978-0137081073 (рус. изд. Идеальный программист. Как стать профессионалом разработки ПО) Programmers who endure and succeed amidst swirling uncertainty and nonstop pressure share a common attribute: They care deeply about the practice of creating software. They treat it as a craft. They are professionals. In The Clean Coder: A Co...

Meszaros G. xUnit Test Patterns Refactoring Test Code

  • формат pdf
  • размер 5.16 МБ
  • добавлен 22 ноября 2011 г.
Hardcover: 833 pages Publisher: Addison-Wesley (May 31, 2007) Language: English ISBN-10: 0131495054 ISBN-13: 978-0131495050 Automated testing is a cornerstone of agile development. An effective testing strategy will deliver new functionality more aggressively, accelerate user feedback, and improve quality. However, for many developers, creating effective automated tests is a unique and unfamiliar challenge. xUnit Test Patterns is the definitive...

Kakola T., Duenas J. (Eds.) Software Product Lines. Research Issues in Engineering and Management

  • формат pdf
  • размер 11.24 МБ
  • добавлен 14 ноября 2011 г.
Издательство Springer, 2006. – 635 p. Software product line engineering is an industrially validated methodology for developing software products and software-intensive systems faster, at lower costs, and with better quality. It differs from single system development in two primary ways: 1. It needs two distinct development processes: domain engineering and application engineering. Domain engineering defines and realizes the commonality and varia...

Jalote P. An Integrated Approach to Software Engineering

  • формат pdf
  • размер 7.7 МБ
  • добавлен 10 ноября 2011 г.
Издательство Springer, 2005, -571 pp. Third Edition An introductory course in Software Engineering remains one of the hardest subjects to teach. Much of the difficulty stems from the fact that Software Engineering is a very wide field which includes a wide range of topics. Consequently, what should be the focus of an introductory course remains a challenge with many possible viewpoints. This third edition of the book approaches the problem from...

M?ller P. (ed.) Advanced Lectures on Software Engineering Processors

  • формат pdf
  • размер 2.75 МБ
  • добавлен 10 ноября 2011 г.
Издательство Springer, 2010, -194 pp. LASER Summer School 2007/2008 Only five years after its inception, the LASER Summer School on Software Engineering has established itself among the premier training schools for PhD students and professionals from the industry. Each year, the summer school focuses on an important software engineering topic. This book contains selected lecture notes from the LASER Summer Schools 2007 and 2008, both of which fo...

Lasater C.G. Design Patterns

  • формат pdf
  • размер 1.93 МБ
  • добавлен 07 ноября 2011 г.
Издательство Wordware Publishing, 2006, -471 pp. Design patterns have been around for quite a few years. They were originally created by the Gang of Four (Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides), which is responsible for formalizing the accepted design patterns we use today. Their use, while questioned and argued over by different programming schools of thought, has generally been accepted as "best practices" within the dev...

Чернев Д.А. Лекции по дисциплине Технология программирования

  • формат chm
  • размер 4.39 МБ
  • добавлен 05 ноября 2011 г.
Конспект лекций по дисциплине "Технология программирования". В дисциплине «Технология программирования»: - рассматриваются и подробно анализируются этапы раз­работки программного обеспечения, начиная от этапа его предварительного проектирования и оканчивая сдачей готового испытанного программного продукта заказчику с последующим его сопровождением; - с позиции современной системотехники рассматриваются проблемы проектирования сложных программн...

Гербер Ричард, Бик Арт и др. Оптимизация ПО. Сборник рецептов

  • формат djvu
  • размер 22.95 МБ
  • добавлен 04 ноября 2011 г.
Издательство: Питер, 2010 г., 352 с. ISBN: 978-5-388-00131-3, 0976483211 Эта книга содержит практические рецепты, позволяющие разработчикам увеличить производительность приложений на платформе Intel. На простых примерах ведущие эксперты компании Intel объясняют читателю, как правильно строить алгоритмы, управлять распределением памяти, прогнозировать ветвление, использовать SIMD инструкции и многопоточность, производить вычисления с плавающей точ...

Hussmann H. Foundations for Software Engineering Methods

  • формат pdf
  • размер 4.42 МБ
  • добавлен 28 октября 2011 г.
Издательство Springer, 1997, -288 pp. Formal methods in computer science aim at a scientific foundation on which methods and tools for practical system construction can be based. Practice requires methods for the specification of software systems, tools for checking specifications for syntactic consistency, and support for generation of code from specifications, as well as tools for proving the correctness of manually produced code with respect...

Бармак О.В. Visual studio. NET. Створення Windows-програм

  • формат pdf
  • размер 898.87 КБ
  • добавлен 26 октября 2011 г.
Хмельницький: ХНУ, 2006. – 90 с. Розглядається нова технологія програмування – .NET корпорації Microsoft та інструментальний засіб, з допомогою якого вона втілюється – інтегроване середовище розробки Visual Studio .NET. Матеріал містить великий об’єм реальних програм, який дозволяє в стислі терміни курсу осягнути розмаїття методів роботи при створенні програмного забезпечення. Конспект лекцій з курсу Сучасні технології та інструментарій програму...

Myers, Glenford J. The Art of Software Testing

  • формат pdf
  • размер 3.52 МБ
  • добавлен 17 октября 2011 г.
Published by by John Wiley & Sons, Inc., Hoboken, New Jersey © 2004. 2rd edition. ISBN: 0-471-46912-2, 151 pages. This long-awaited revision of a bestseller provides a practical discussion of the nature and aims of software testing. You'll find the latest methodologies for the design of effective test cases, including information on psychological and economic principles, managerial aspects, test tools, high-order testing, code inspections, a...

Галіцин В.К., Сидоренко Ю.Т., Потапенко С.Д. Технологія програмування і створення програмних продуктів

  • формат pdf
  • размер 3.03 МБ
  • добавлен 06 октября 2011 г.
Галіцин В.К., Сидоренко Ю.Т., Потапенко С.Д.Технологія програмування і створення програмних продуктів: Навч. посіб. — К.: КНЕУ, 2009. — 372 с. ISBN 978–966–483–234–9 Рецензенти В. А. Кадієвський, д-р екон. наук, проф. (Державна академія статистики) М. М. Клименюк, д-р. екон. наук, проф. (Академія муніципального управління) Г. В. Лавінський, д-р техн. наук, проф. (Український фінансово-економічний інститут) Л. Б. Долінський, канд. екон. наук, доц....

Липаев В.В. Сертификация программных средств. Учебник

  • формат pdf
  • размер 6.96 МБ
  • добавлен 27 сентября 2011 г.
Липаев В.В. Сертификация программных средств. Учебник. - М.: СИНТЕГ, 2010. - 344с. ISBN 978-5-89638-114-3 В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продук...

Слукин Сергей. Введение в тестирование программного обеспечения

  • формат pdf
  • размер 5.64 МБ
  • добавлен 23 сентября 2011 г.
Авторский курс, 11.03.2009, 134 стр. Введение в тестирование программного обеспечения Методы и виды тестирования Тестовая документация. Общие сведения Тестовые требования Тестовые примеры (Test Case) Тестовые планы (Test Plan) Отчеты о прохождении тестов Покрытие программного кода Тестирование пользовательского интерфейса Тестирование объектно?ориентированного программного обеспечения Регрессионное тестирование

Глухова Л.А., Бахтизин В.В. Основы алгоритмизации и структурного проектирования программ

  • формат pdf
  • размер 565.71 КБ
  • добавлен 10 сентября 2011 г.
Минск.: БГУИР, 2003. - 72 с. ISBN 985-444-528-3 Учебное пособие по курсам «Основы алгоритмизации и программирования» и «Технология разработки программного обеспечения» для студентов специальности 40 01 01 «Программное обеспечение информационных технологий» дневной формы обучения В учебном пособии даны общие сведения о программном обеспечении. Приведено описание основ алгоритмизации, рассмотрены способы описания и разновидности структур алгоритм...

Rothlauf F. Design of Modern Heuristics: Principles and Application

  • формат pdf
  • размер 2.3 МБ
  • добавлен 19 августа 2011 г.
Springer, 2011. - 267 p. Most textbooks on modern heuristics provide the reader with detailed descriptions of the functionality of single examples like genetic algorithms, genetic programming, tabu search, simulated annealing, and others, but fail to teach the underlying concepts behind these different approaches. The author takes a different approach in this textbook by focusing on the users' needs and answering three fundamental questions: Fir...

Лаврищева Е.М. Методы программирования. Теория, инженерия, практика

  • формат pdf
  • размер 4.02 МБ
  • добавлен 17 августа 2011 г.
Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. - Киев: Наукова думка, 2006. - 452с. ISBN 978-966-00-0614-4 В монографии систематизированы и изложены теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, рассмотрены методы спецификации и доказательства программ, верификации и тестирования, а также планирования и управления прог...

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

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

Dooley J. Software Development and Professional Practice

  • формат pdf
  • размер 6 МБ
  • добавлен 16 августа 2011 г.
Apress, 2011. - 242 p. Software Development and Professional Practice reveals how to design and code great software. What factors do you take into account? What makes a good design? What methods and processes are out there for designing software? Is designing small programs different than designing large ones? How can you tell a good design from a bad one? You'll learn the principles of good software design, and how to turn those principles back...

Глухова Л.А. Технологии разработки программного обеспечения

  • формат pdf
  • размер 899.77 КБ
  • добавлен 14 августа 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2007, 178с. Для студентов специальности 1-40 01 01 «Программное обеспечение информационных технологий» Содержание Введение в технологии разработки программных средств Основные понятия и определения Жизненный цикл программных средств Модели жизненного цикла разработки программных средств и систем Стратегии разработки программных средств и систем Базовые стратегии разработки п...

Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем

  • формат pdf
  • размер 8.1 МБ
  • добавлен 11 августа 2011 г.
Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. 2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления...

Глухова Л.А. Технологии разработки программного обеспечения Обучающий курс

  • формат doc
  • размер 157.67 КБ
  • добавлен 11 августа 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2004, 97с. Для студентов дистанционной формы обучения по специальности «Программное обеспечение информационных технологий». Содержание. Основные понятия и определения. Модели жизненного цикла разработки АС И ПС. Каскадная модель жизненного цикла разработки АС И ПС. Преимущества каскадной модели жизненного цикла. Недостатки каскадной модели жизненного цикла. V-образная модель...

Дастин Э., Рэшка Д., Пол Дж. Автоматизированное тестирование программного обеспечения

  • формат djvu
  • размер 5.58 МБ
  • добавлен 04 августа 2011 г.
Книга «Автоматизированное тестирование программного обеспечения» адресована профессионалам в области программного обеспечения, которые занимаются внедрением, управлением и выполнением автоматизированного тестирования в проектах и обязаны производить все эти работы в сжатые сроки. Предметом книги является автоматизированное тестирование в среде клиент-сервер или Web. Книга будет полезна тестировщику/тест-менеджеру, сталкивающемуся с необход...

Новиков Ф.А. Учебно-методическое пособие по дисциплине Технологические подходы к разработке программного обеспечения

  • формат pdf
  • размер 1.64 МБ
  • добавлен 25 июля 2011 г.
СПб.: СПбГУ ИТМО, 2007. - 137 с. В первой теме рассматривается сам предмет дисциплины – технология программирования – с самых общих позиций. Здесь же вводится разделение технологии программирования на три составляющих, в соответствии с которой строится изложение курса. Во второй теме вводится понятие жизненного цикла программы – ключевой абстракции, вокруг которой строятся все известные в настоящее время технологические подходы к программировани...

Koranne S. Practical Computing on the Cell Broadband Engine

  • формат pdf
  • размер 3.7 МБ
  • добавлен 23 июля 2011 г.
Springer, 2009. 485 p. ISBN:1441903070 Practical Programming in the Cell Broadband Engine offers a unique programming guide for the Cell Broadband Engine, demonstrating a large number of real-life programs to identify and solve problems in engineering, logic design, VLSI CAD, number-theory, graph-theory, computational geometry, image processing, and other subjects. This book: Explores a wide variety of problems presenting the Cell Broadband Eng...

Бахтизин В.В., Глухова Л.А. Лабораторный практикум по дисциплине Технологии разработки программного обеспечения

Практикум
  • формат pdf
  • размер 1.48 МБ
  • добавлен 11 июля 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2007, 81с. Для студентов специальности 1-40 01 01 «Программное обеспечение информационных. технологий». Содержание. Структурный анализ и моделирование в среде CASE - Средства BPWIN. Методологии проектирования программного обеспечения, поддерживаемые BPWIN. Общие сведения. Методология функционального моделирования IDEF0. Методология DFD. Методология IDEF3. ИНСТРУМЕНТАЛЬНАЯ СРЕ...

Презентация - Современные технологии и средства разработки программного обеспечения критичных по безопасности систем, сертифицируемых по требованиям DO-178B

Презентация
  • формат pdf
  • размер 929.45 КБ
  • добавлен 03 июля 2011 г.
Презентация - Современные технологии и средства разработки программного обеспечения критичных по безопасности систем, сертифицируемых по требованиям DO-178B 2008 г – 18 слайдов. Автор: Демьянов А.В. AVD Systems Структура встраиваемого ПО Пути снижения стоимости разработки Что такое DO-178B DO-178B. Три группы процессов жизненного цикла ПО SCADE Safety Critical Application Development Environment SCADE в авиации SCADE Suite и SCADE Display в Supe...

Pankaj Jalote. A Concise Introduction to Software Engineering

  • формат pdf
  • размер 5.3 МБ
  • добавлен 27 мая 2011 г.
An introductory course on Software Engineering remains one of the hardest subjects to teach largely because of the wide range of topics the area encompasses. I have believed for some time that we often tend to teach too many concepts and topics in an introductory course resulting in shallow knowledge and little insight on application of these concepts. And Software Engineering is finally about application of concepts to efficiently engineer good...

Endres A., Rombach D. A Handbook of Software and Systems Engineering

  • формат pdf
  • размер 10.31 МБ
  • добавлен 27 мая 2011 г.
The book is a collection of empirical laws, theories and observations, which were proved to be useful in Software Engineering. It sums up the experience gained during sfotware development in hundreds of projects. Table of Contents: Chapter 1: Introduction Chapter 2: Requirements definition, prototyping, and modeling Chapter 3: System design and specification Chapter 4: System construction and composition Chapter 5: Validation and static verifica...

Tian J. Software Quality Engineering: Testing, Quality Assurance and Quantifiable Improvement

  • формат pdf
  • размер 24.36 МБ
  • добавлен 27 мая 2011 г.
Wiley-Interscience, 2005. - 440 p. - ISBN: 0471713457 The one resource needed to create reliable software This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity. The first part of the publication introduces major topics in softwa...

Криспин Л., Грегори Д. Гибкое тестирование часть 3

  • формат pdf
  • размер 52.26 МБ
  • добавлен 17 мая 2011 г.
Архивы можно качать и читать по частям. В этой книге описаны следующие темы. Как вовлечь тестировщиков в процесс гибкой разработки ПО; Какое место в гибкой команде занимают тестировщики и менеджеры по контролю качества; Как определить нужный момент для найма гибкого тестировщика; Как совершить переход от традиционной циклической к гибкой разработке; Как обеспечить полное выполнение всех действий по тестированию в течение коротких итераций; Как и...

Криспин Л., Грегори Д. Гибкое тестирование часть 1

  • формат pdf
  • размер 64.6 МБ
  • добавлен 17 мая 2011 г.
Архивы можно качать и читать по частям. Тестирование является ключевым компонентом гибкой разработки. Широкое внедрение гибких методов привело к необходимости помещения в центр внимания приемов эффективного тестирования, а гибкие проекты существенно трансформировали роль тестировщиков ПО. Тем не менее, большинство функций тестировщика остается в значительной степени недопонятыми. В чем же состоит истинная роль тестировщика? Нужны ли гибким команд...

Криспин Л., Грегори Д. Гибкое тестирование часть 2

  • формат pdf
  • размер 77.17 МБ
  • добавлен 17 мая 2011 г.
Архивы можно качать и читать по частям. Двое из наиболее опытных в области гибкого тестирования практиков и консультантов, Лайза Криспин и Джанет Грегори, объединились в команду, чтобы предоставить окончательные ответы на эти и многие другие вопросы. В настоящей книге они дают определение гибкого тестирования и показывают роль тестировщиков в реальных гибких командах. Вы узнаете, как использовать квадранты гибкого тестирования для идентификации п...

Якунин Ю.Ю. Технологии разработки программного обеспечения

  • формат pdf
  • размер 2.38 МБ
  • добавлен 09 мая 2011 г.
Электронный ресурс: учеб. пособие / Ю. Ю. Якунин. – Красноярск: ИПК СФУ, 2008. – 225с. ISBN 978-5-7638-1435-4 (пособия) Настоящее издание является частью электронного учебно-методического комплекса по дисциплине «Технологии разработки программного обеспечения», включающего учебную программу, учебное пособие по курсовому проектированию, лабораторный практикум, методические указания по самостоятельной работе, контрольно-измерительные материалы «Т...

Канер С. Тестирование программного обеспечения

  • формат pdf
  • размер 6.27 МБ
  • добавлен 25 апреля 2011 г.
Книга именитых специалистов в области разработки программного обеспече­ ния посвящена одному из наиболее важных и нетривиальных аспектов в рамках процесса создания сложных программных систем. Книгу отличает, прежде всего, привязка к условиям реального мира на примерах известных компаний-разработ­ чиков, находящихся в Силиконовой долине. Подробно рассматривается широкий спектр вопросов: от организации процесса тестирования до собственно тестиро...

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

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

Hambling B. (ed.) et al. Software Testing: An ISTQB-ISEB Foundation Guide

  • формат pdf
  • размер 1.36 МБ
  • добавлен 23 марта 2011 г.
2nd Edition. British Informatics Society Ltd, 2010. 238 p. ISBN:1906124760 Brian Hambling (Editor), Peter Morgan, Angelina Samaroo, Geoff Thompson and Peter Williams Software Testing: An ISTQB-ISEB Foundation Guide The bestselling software testing title is the only official textbook of the ISTQB - ISEB Foundation Certificate in Software Testing. This 2nd edition covers the 2010 update to the exam syllabus. It is ideal for those with a little e...

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

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

Somasegar S., Guthrie Scott. Руководство Microsoft по проектированию архитектуры приложений

  • формат pdf
  • размер 6.75 МБ
  • добавлен 22 февраля 2011 г.
Цель данного руководства – помочь разработчикам и архитекторам решений создавать эффективные высококачественные приложения на платформе Microsoft и .NET Framework в более сжатые сроки и с меньшими рисками благодаря использованию проверенных и снискавших доверие архитектурных принципов и шаблонов проектирования. В руководстве предлагается обзор основных принципов и шаблонов, которые обеспечивают прочную базу для создания хорошей архитектуры и диза...

Зубкова Т.М. Технология разработки программного обеспечения

  • формат pdf
  • размер 2.03 МБ
  • добавлен 21 февраля 2011 г.
Учебное пособие. - Оренбург: ГОУ ОГУ, 2004. – 101 с. В пособии кратко изложены основные теоретические положения предмета, даны рекомендации по выполнению лабораторных работ. В нем представлены требования к выполнению курсового проекта, даются указания по структуре и содержанию пояснительной записки, приводятся рекомендации по выполнению и оформлению отдельных частей курсового проекта. Учебное пособие предназначено для студентов, обучающихся по...

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

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

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

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

Шкиль Н.И., Жалдак М.И. Изучение языков программирования в школе

  • формат tif
  • размер 3.66 МБ
  • добавлен 08 февраля 2011 г.
1988г. -272с. В пособии рассматриваются языки программирования высокого уровня-Бейсик и Паскаль, необходимые при изучении школьного курса основ информатики и вычислительной техники. Изложение осуществляется на базе школьного алгоритмического языка. Даны методические советы по использованию этих языков при составлении программ решения различных математических, физических, логических и других задач с помощью ЭВМ.rn

Broekman Bart, Notenboom Edwin. Testing Embedded Software

  • формат pdf
  • размер 1.94 МБ
  • добавлен 07 февраля 2011 г.
Typeset by Pantek Arts Ltd, Maidstone, Kent. Printed and bound in Great Britain by Biddles Ltd, Guildford and King’s Lynn. Contents. Foreword. Preface. Acknowledgments. ntroduction. Fundamentals. Aims of testing. What is an embedded system? . Approach to the testing of embedded systems. The TEmb method. Overview. TEmb generic. Mechanism for assembling the dedicated test approach. Lifecycle. Multiple V-model. ntroduction. Test activities in the m...

Ван Тассел Д. Стиль, разработка, эффективность, отладка и испытание программ

  • формат djvu
  • размер 4.44 МБ
  • добавлен 03 февраля 2011 г.
1981г. -320с. -Москва Стиль написания программ. Рациональные методы их разработки и оптимизации. Стратегия отладки и тестирования. Книга предназначена для начинающих программистов.

Богданов Д.В., Фильчаков В.В. Стандартизация жизненного цикла и качества программных средств

  • формат pdf
  • размер 584.18 КБ
  • добавлен 25 января 2011 г.
Учебное пособие. - СПб.: ГУАП, 2000. - 210 с. Учебное пособие посвящено общим вопросам стандартизации в области обеспечения качества разработки программных средств. В нем описываются стандарты в области обеспечения качества ПС, рассматриваются жизненные циклы программного средства, установленные в зарубежных и отечественных стандартах, обсуждается роль документации при создании качественного ПС. Особое внимание уделено вопросам оценки процесса р...

Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения

  • формат pdf
  • размер 1.71 МБ
  • добавлен 15 января 2011 г.
М.: МИФИ, 2006. - 157 с. Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения. Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (чело...

Copeland Lee. A Practitioner's Guide to Software Test Design

  • формат chm
  • размер 7.17 МБ
  • добавлен 06 января 2011 г.
The book focuses only on software test design, not related subjects such as test planning, test management, test team development, etc. While those are important in software testing, they have often overshadowed what testers really need—the more practical aspects of testing, specifically test case design. Other excellent books can guide you through the overall process of software testing. One of my favorites is Systematic Software Testing by Rick...

Эванс Эрик. Предметно-ориентированное проектирование (DDD): структуризация сложных программных систем

  • формат djvu
  • размер 19.09 МБ
  • добавлен 27 декабря 2010 г.
Пер. с англ. — М.: Вильямc, 2011. — 448 с.: ил. Оригинал: Domain-Driven Design: Tackling Complexity in the Heart of Software Предисловие Мартина Фаулера ISBN 978-5-8459-1597-9 (рус. ) ББК 32.973.26-018.2.75 Файл содержит OCR и ссылочное оглавление. Классическая книга Э. Эванса освещает наиболее общий, стратегический круг вопросов, связанных с объектно-ориентированной разработкой программного обеспечения. Это переработка и структуризация зна...

Контрольная работа - Основы алгоритмии и языки программирования

Контрольная работа
  • формат doc
  • размер 93 КБ
  • добавлен 07 декабря 2010 г.
Введение 1. Понятие проектирования программного обеспечения 2. Виды проектирования 3. Пример применения основных методов структурного проектирования программного обеспечения при разработке текстового редактора Заключение Список использованной литературы

Pressman R. Software Engineering: A Practitioner's Approach (5th edition)

  • формат pdf
  • размер 6.66 МБ
  • добавлен 05 декабря 2010 г.
Pressman's Software Engineering: A Practitioner's Approach is celebrating 20 years of excellence in the software engineering field. This comprehensive 5th edition provides excellent explanations of all the important topics in software engineering and enhances them with diagrams, examples, exercises, and references. In the fifth edition, a new design has been added to make the book more user friendly. Several chapters have been added including cha...

Sommerville I. Software Engineering (8th edition)

  • формат pdf
  • размер 41.33 МБ
  • добавлен 05 декабря 2010 г.
Sensible choice and organization of topics, made all the more authoritative by the author's credentials as a senior academic in the area Prof. David S. Rosenblum, University College London I find Somerville inviting and readable and with more appropriate content Julian Padget, University of Bath Sommerville takes case studies from radically different areas of SE. This avoids excessive stereotyping (hence blinkering), but permits some depth and de...

Артемов М.А., Караичев С.А. Разработка и стандартизация программных средств и информационных технологий. Разработка и оформление программной документации

  • формат pdf
  • размер 190.51 КБ
  • добавлен 05 декабря 2010 г.
Учебно-методическое пособие. - Воронеж: ИПЦ ВГУ, 2007. - 41 с. Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета. Предназначено для специальности 010502 (351400) - "Прикладная информатика в юриспруденции". В пособии речь идет о существующих отечественных стандартах на разработку и...

Agarwal B.B. Software engineering and testing

  • формат pdf
  • размер 11.62 МБ
  • добавлен 05 декабря 2010 г.
Jones and Bartlett Publishers, 2010. 516 р. Software Engineering and Testing. Introduction to Software Engineering. Software-Development Life-Cycle Models. Introduction to Software Requirements Specification. Software Reliability and Quality Assurance. System Design. Software Measurement and Metrics. Software Testing. Software-Testing Strategies. Software Maintenance and Project Management. Computer-Aided Software Engineering. Coding. Software De...

Котов О.М. Введение в машинно-ориентированное программирование

Практикум
  • формат pdf
  • размер 785.54 КБ
  • добавлен 01 декабря 2010 г.
Методические указания. - Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2004. - 39 с. Методические указания включают теоретический материал, подробно разобранные примеры, задания для самостоятельных упражнений, комплекс лабораторных занятий на персональном компьютере и необходимые справочные данные. Подготовлено кафедрой "Автоматизированные электрические системы" УГТУ-УПИ и учебно-научным предприятием "УПИ-Энерго".

Степанченко И.В. Методы тестирования программного обеспечения: Учебное пособие

  • формат pdf
  • размер 918.31 КБ
  • добавлен 26 ноября 2010 г.
/ - Волгоград: ВолгГТУ, 2006. - 74 с. Ил .15. Табл .2. Библиогр. : 18 назв. © Волгоградский государственный технический университет, 2006 Излагаются подходы и методы тестирования, начиная с проблемы определения термина "тестирование" и общих принципов и заканчивая описанием методов и стратегий тестирования. В частности, рассмотрены методы белого и черного ящика (покрытие операторов, условий, решений, комбинаторного покрытия условий и решений, эк...

Одинцов И. Профессиональное программирование. Системный подход

  • формат pdf
  • размер 6.45 МБ
  • добавлен 22 ноября 2010 г.
Издательство: СПб.: БХВ-Петербург Год: 2002 Страниц: 512 Книга посвящена основным направлениям профессионального программирования. Подробно рассматриваются методологии, технологии, языки и системы программирования, аппаратная и операционная платформы, как давно известные, так и новейшие. Представлены различные их классификации. Книгу характеризуют две особенности: взаимосвязанный, системный подход к программированию и изложение программирования...

Липаев В.В. Качество программных средств

  • формат djvu
  • размер 5.65 МБ
  • добавлен 09 ноября 2010 г.
2002 г. В методических рекомендациях рассмотрены основные понятия, факторы и методы обеспечения качества в жизненном цикле (ЖЦ) сложных программных средств (ПС). Систематически изложены основы стандартизации в области качества ПС, а также содержание комплекса международных стандартов, регламентирующих качество их ЖЦ. Представлены принципы и методы верификации, тестирования и испытаний сложных комплексов программ.

Савин Роман. Тестирование dot com

  • формат pdf
  • размер 5.26 МБ
  • добавлен 07 октября 2010 г.
Очень интересная книга о тестировании ПО. С примерами из жизни и юмором. Очень легко читается, а главное запоминается. Что такое баг. Цель тестирования DECODED. Искусство создания тест-кейсов. Цикл разработки ПО. Идея. Разработка дизайна продукта и создание спека. Кодирование. Исполнение тестирования и ремонт багов. Релиз. Большая картина цикла разработки ПО. Цикл тестирования ПО. Изучение и анализ предмета тестирования. Планирование тестирования...

Липаев В.В. Тестирование программ

  • формат djvu
  • размер 7.88 МБ
  • добавлен 01 октября 2010 г.
М.: Радио и связь, 1986 г. 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников, занимающихся проектированием и эксплуатацией программного обеспеч...

Камаев В.А. Технологии программирования: Учебник

  • формат djvu
  • размер 3.69 МБ
  • добавлен 28 сентября 2010 г.
В. А. Камаев, В. В. Костерин. — 2-е изд., перераб. и доп. — М.: Высш. шк. , 2006. - 454 с: ил. © ФГУП «Издательство «Высшая школа», 2006 В книге изложены технологии структурного программирования, объектно-ориентированного проектирования, визуального программирования, технология, основанная на абстракции данных Дейкстеры. Рассмотрено использование средств автоматизации проведения программных разработок. Второе издание (1-е — 2005 г. ) дополнено...

Ивановский С.А. Разработка корректных программ

  • формат pdf
  • размер 953.89 КБ
  • добавлен 25 сентября 2010 г.
Учеб. пособие. СПб.: Изд-во ЛЭТИ, 2003. 100 с. Содержит основные правила, приемы и примеры разработки корректных программ, базирующиеся на идеях и методах верификации программ. Используются язык программирования Паскаль и правила вывода для основных конструкций этого языка. Основное внимание уделено программированию задач с файлами и массивами.

Добрынин В.Ю. Технологии компонентного программирования

  • формат pdf
  • размер 1.34 МБ
  • добавлен 24 сентября 2010 г.
Учеб. пособие. СПб. : Изд-во С. -Петерб. ун-та, 2003. 121 с. В пособии компонентное программирование рассматривается как дальнейшее развитие паралигмы объективно-ориентированного программирования. Дается информация о технологиях СОМ, СОМ + и .NET. Процедурное, объектно-ориентированное и компонентное программирование Эволюция распределенных систем Технология COM Интерфейсы Реализация интерфейсов - коклассы Фабрики классов Сервер в процессе...

Брауде Э. Технология разработки программного обеспечения

  • формат djvu
  • размер 16.06 МБ
  • добавлен 01 сентября 2010 г.
Книга является классическим руководством по технологии разработки программного обеспечения. В ней рассматриваются основные этапы процесса разработки программного продукта, включая его описание, проектирование, собственно разработку, интеграцию и тестирование частей, тестирование программы в целом и сопровождение. Каждый из этапов подробно иллюстрируется на конкретных примерах. Отдельные главы посвящены определению типа процесса разработки и управ...

Макгрегор Джон, Сайкс Девид. Тестирование объектно-ориентированного программного обеспечения

  • формат djvu
  • размер 4.21 МБ
  • добавлен 24 августа 2010 г.
Практическое пособие. Основное внимание уделяется реальному планированию и эффективной реализации процесса тестирования ПО. Подробно рассматриваются концептуальные отличия технологий тестирования объектно-ориентированного ПО от таковых для традиционного процедурного ПО. Книга может послужить практическим и учебным руководством для профессиональных разработчиков, предлагая готовые технологии построения надежного, предсказуемого и высокоэффективног...

Гудлиф П. Ремесло программиста: Практика написания хорошего кода

  • формат pdf
  • размер 9.22 МБ
  • добавлен 26 июля 2010 г.
Издательство: Символ-Плюс | 2009 | 704 c. | ISBN: 978-5-93286-127-1 | Язык: русский | Ничто не сравнится по ценности с советами настоящего программиста-профессионала. Книга Питера Гудлифа "Ремесло программиста" написана ясно, практично и занимательно. Она поможет вам перейти на более высокий уровень мастерства программирования и покажет, как писать код, который больше чем "просто работает". Да, вы умеете писать работающий код, но как написать пон...

Бейзер Б. Тестирование черного ящика

  • формат djvu
  • размер 3.83 МБ
  • добавлен 14 июля 2010 г.
-М., "Питер", 2004 г. Книга доктора Бейзера "Тестирование черного ящика" давно была признана классическим трудом в области поведенческого тестирования разнообразных систем. В ней глубоко рассматриваются основные вопросы тестирования программного обеспечения, позволяющие отыскать максимум ошибок при минимуме временных затрат. Черезвычайно подробно излагаются основные методики тестирования, покрывающие все спектры аспектов разработки программных си...

Калбертсон Р., Браун К., Кобб Г. Быстрое тестирование

  • формат pdf
  • размер 4.53 МБ
  • добавлен 06 июля 2010 г.
Издательство Вильямс, 2002. 384 с. Напряженная, жесткая, порою даже жестокая, конкуренция на современном рынке программного обеспечения заставляет максимально быстро поставлять программные продукты на рынок. Проблема непрерывного поддержания должного уровня качества и, в то же время, соблюдения календарного плана приводит к созданию новых стратегий тестирования, неразрывно связанных с процессом разработки. Не смотря на то, что идеальное программ...

Винниченко И.В. Автоматизация процессов тестирования

  • формат pdf
  • размер 6.21 МБ
  • добавлен 06 июля 2010 г.
Книга посвящeна вопросам практического применения автоматизации тестирования, которое является одним из важнейших аспектов обеспечения качества программных продуктов. В ней дается детальное описание программных средств, необходимых для повседневной работы в этой области, с указанием конкретных функций и методов трех ведущих поставщиков ПО для автоматизации тестирования: Segue SilkTest, Mercury Interactive WinRunner и Rational Robot. В список тем...

Задания по технологии разработки ПО

  • формат doc
  • размер 44 КБ
  • добавлен 30 июня 2010 г.
Задания по Технологии разработки ПО. 4 с. Вуз: ИМСИТ Город: Краснодар Год: 2008 Курс: 4 (1 семестр) Преподаватель: Вендров Задание. Построить учебный проект для работы колледжа Задание. Построить учебный проект для работы училища Задание. Построить учебный проект для работы второго училища Задание. Построить учебный проект для работы второго колледжа

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

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

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

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

Крупский А.Ю. Феоктистова Л.А. Разработка и стандартизация программных средств

  • формат djvu
  • размер 3.63 МБ
  • добавлен 03 июня 2010 г.
Крупский А. Ю. Феоктистова Л. А. Разработка и стандартизация программных средств Издательство: Дашков и Ко, Год: 2008 Страниц: 160 В учебном пособии содержатся теоретические и практические сведения о порядке разработки программных средств и информационных технологий. Рассмотрены основные проблемы и показана эволюция языков программирования. Проанализированы процессы жизненного цикла программных средств. Детально рассмотрены перечни работ и задач...

Рудаков А.В. Технология разработки программных продуктов. Учебное пособие

  • формат pdf
  • размер 12.81 МБ
  • добавлен 03 июня 2010 г.
Рудаков А. В. Технология разработки программных продуктов. Учебное пособие Издательство: Академия, 2-е издание Год: 2006 Страниц: 208 Рассмотрены история возникновения, современное состояние, принципы организации, основные положения и перспективы развития технологии разработки программных продуктов. Для студентов образовательных учреждений среднего профессионального образования.

Голицына О.Л., Попов И.И. Основы алгоритмизации и программирования

  • формат djvu
  • размер 5.04 МБ
  • добавлен 17 мая 2010 г.
Книга 2008г. - 432с. Рассмотрены основные понятия алгоритмизации и программирования, представлены все виды задач обработки данных, приводятся таблицы сравнительного анализа форматов, операторов, процедур, описания данных для различных языков программирования. Дается развернутое и практически полное описание языков и систем программирования Pascal, Basic, С, а также сред Visual Basic и Delphi. Все разделы насыщены примерами и задачами.

Косачёв В.С., Алёшин А.В., Байбуз В.Н. Методические указания по выполнению курсовой работы по дисциплине Программирование на языке высокого уровня

  • формат doc
  • размер 466 КБ
  • добавлен 11 мая 2010 г.
Методические указания по выполнению курсовой работы (проекта) по дисциплине Программирование на языке высокого уровня для студентов очной и заочной форм обучения специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. – Краснодар: ИМСИТ, 2005. – 60 с. Приведена тематика, сформулированы требования к структуре, содержанию и оформлению пояснительной записки курсовой работы (проекта). Одобрено научно-метод...

Кручинин В.В. Алгоритмические языки и технология программирования

  • формат pdf
  • размер 2.03 МБ
  • добавлен 03 мая 2010 г.
Учебное пособие Томского межвузовского центра дистанционного образования, ТУСУР (Томский университет систем управления и радиоэлектроники). Томск, 2001. 126 стр. Содержание: Основы алгоритмизации Язык программирования С (лексемы, синтаксические структуры, выражения, операторы, указатели, программы и подпрограммы и др. ) Механизм реализации языков программирования Технология создания исполняемой программы

Керниган Б., Пайк Р. Практика программирования

  • формат rar, djvu, zip
  • размер 4.9 МБ
  • добавлен 15 апреля 2010 г.
Пер. с англ. М.: Вильямс, 2004, 288 с. Вашему вниманию предлагается перевод на русский язык исправленного и дополненного издания (уже восьмого по счету) популярной книги, вышедшего из печати в январе 2004 года. Верификацию кода в русском издании выполнили сами авторы книги - Брайан Керниган и Роб Пайк, что лишний раз свидетельствует об их огромной ответственности перед читателями. В книге рассматриваются принципы практического профессионального...

Технология программирования. Лекции

  • формат doc
  • размер 1.22 МБ
  • добавлен 16 марта 2010 г.
Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программных средствах. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы и модульное программирование. Разработка программного модуля. Доказательство свойств програм...

Спецификация требований к программному обеспечению

  • формат doc
  • размер 1.34 МБ
  • добавлен 26 января 2010 г.
SRS (Software Requirements Specification) – требования к ПО, обычно с использованием диаграмм моделей и потоков данных.

Вариант 13. Генеалогическое дерево

  • формат doc
  • размер 479.16 КБ
  • добавлен 13 января 2010 г.
Предлагаемый вашему вниманию курсовой проект представляет собой разработанную программную систему для поддержки генеалогических деревьев. Система включает в себя базу данных персон и связей между ними, средства для ее наполнения и извлечения необходимой информации. Проект позволяет строить генеалогические деревья, задавая связи между отдельными персонами. В построенном дереве о персонах можно получать такую информацию, как список родителей, детей...

Гвоздева В.А. Введение в специальность программиста

  • формат djvu
  • размер 2.41 МБ
  • добавлен 17 декабря 2009 г.
Цель данной книги — сформировать представление о профессии программиста и дать основы для приобретения навыков в этой области деятельности. В учебнике рассматриваются содержание основных понятий программирования, история его развития, основные элементы и языки программирования, принципы структурного программирования и начала программирования в среде Turbo Pascal и системе Delphi. Дается материал о программном обеспечении для вычислительной техник...

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

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

Masterminds of Programming: Conversations with the Creators of Major Programming Languages

  • формат pdf
  • размер 2.92 МБ
  • добавлен 22 ноября 2009 г.
Publisher: O'Reilly Publication: 2009, English ISBN: 9780596515171 Pages: 494 Masterminds of Programming features exclusive interviews with the creators of several historic and highly influential programming languages. In this unique collection, you'll learn about the processes that led to specific design decisions, including the goals they had in mind, the trade-offs they had to make, and how their experiences have left an impact on programming...

Вылиток А.А. Структурное программирование и пошаговая детализация. Пример решения задачи: Слова - палиндромы

  • формат pdf
  • размер 160.45 КБ
  • добавлен 04 ноября 2009 г.
М: ВМК МГУ, 2006 г. – 2 стр. Построение структурированной схемы и соответствующей этой схеме программы на языке Паскаль, используя метод пошаговой детализации. Конкретная задача: Слова – палиндромы. Условия задачи: Дана последовательность, содержащая от 2 до m слов (m?2), в каждом из которых от 1 до n (n?1) строчных латинских букв; между соседними словами – не менее одного пробела, за последним словом – точка. Напечатать те слова последователь...

Жоголев Е.А. Технология программирования

  • формат pdf
  • размер 1.72 МБ
  • добавлен 31 октября 2009 г.
Жоголев Е. А. Технология программирования. - М. научный мир, 2004, с.216 В основу книги положен курс лекций по технологии проектирования, читавшихся автором в течение ряда лет студентам фак-та Вычислительной матемитики и кибернетики МГУ. В ней обсуждается совокупность процессов, приводящая к созданию требуемого программного продукта (ПС). Рассматриваются наиболее распространненые приемы и методы, исользуемые в таких процессах, а также возникающи...

Сборник уроков 1-го курса Компьютерной Академии ШАГ

  • формат zip
  • размер 79.75 МБ
  • добавлен 31 октября 2009 г.
Язык программирования C# Язык программирования C/C++ Язык программирования Visual C++ Язык программирования Visual Basic Язык вэб-программирования Java Script Язык разметки XML Язык разметки XHTML, CSS Основы вэб-дизайна Векторный графический редактор Corel Draw Растровый графический редактор Photoshop Adobe Flash 3D Studio Max IP Локальные сети SQL Server Hardware Linux Windows XP Professionalrn

Безруков А.И. Метрология программного обеспечения. Экономические и правовые основы разработки программного обеспечения (Текст лекций)

  • формат pdf
  • размер 1.2 МБ
  • добавлен 30 октября 2009 г.
Саратовский Государственный Технический Университет. Технологический институт, г. Энгельс. 2003г. Оглавление Лекция 1. Знакомство с предметом. Лекция 2. Эволюция представлений о качестве. Лекция 3. Что такое маркетинговые исследования и для чего они нужны? Лекция 4. Системы управления качеством Лекция 5. Стандарты в области качества программного обеспечения Лекция 6. Методы и инструменты управления качеством Лекция 7. Поддержка принятия ре...

Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Анализ крупномасштабных разработок

  • формат djvu
  • размер 3.24 МБ
  • добавлен 22 октября 2009 г.
В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, пзволяющих оценивать его надежность. Книга предназначена для разработчиков ПО, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих принципы разработки системно...

Майерс Г. Искусство тестирования программ

  • формат djvu
  • размер 1.42 МБ
  • добавлен 22 октября 2009 г.
Библия для тесторов ПО. Одна из основополагающих книг. Достаточно широко и популярно излагаются основные принципы методологии тестирования и отладки программ. Рассматриваются вопросы психологии и экономики тестирования. Значительное место отводится методам корректировки программ. Для специалистов, занимающихся программированием, студентов и аспирантов.

Майерс Г. Надежность программного обеспечения

  • формат djvu
  • размер 3.13 МБ
  • добавлен 22 октября 2009 г.
И еще одна книга, абсолютно не теряющая своей актуальности. Причина в том, что в ней излагаются теоретические основы надежности ПО. Предлагаемая вниманию книга выгодно отличается от других книг по технологии программирования тем, что в ней из всего разнообразия характеристик программы выделяется одна, но такая, которая позволяет с единых позиций изложить весь сложный комплекс проблем, связанных с радикальным снижением затрат на производство, внед...

Ковалевская Е.В. Материалы к курсу Метрология, качество и сертификация программного обеспечения

  • формат pdf
  • размер 1.06 МБ
  • добавлен 19 октября 2009 г.
Учебно – демонстрационные материалы предназначены для студентов, обучающихся по специальностям « Прикладная информатика в экономике» и « Математическое обеспечение и администрирование информационных систем», а также может быть рекомендовано студентам других специальностей при изучении вопросов, связанных с метрологией, качеством и стандартизацией программного обеспечения.

Раскин Джеф. Интерфейс: Новые направления в проектировании компьютерных систем

  • формат pdf
  • размер 2.04 МБ
  • добавлен 18 октября 2009 г.
Книга эта непростая и подойдет не каждому. Автор анализирует то, к чему мы все давно привыкли до автоматизма, и объясняет, что интерфейс многих современных программ далек от совершенства. Как его улучшить, в каком направлении двигаться дальше? Попробуйте найти ответы вместе с самым известным специалистом в этой области – Джефом Раскиным, создателя проекта Apple Macintosh. Сейчас много говорят об эффективности современных подходов к разработке инт...

Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения

  • формат pdf
  • размер 2.06 МБ
  • добавлен 12 октября 2009 г.
Учебное пособие. - М, 2006-304 с. Методы проектирования программных систем Методы доказательства и тестирования Методы интеграции, преобразования и изменений Инженерия приложений и предметных областей Инженерия требований и ПИК Методы управления проектом, рисками, конфигурацией Средства и инструменты

Microsoft. Анализ требований и создание архитектуры решений на основе Microsoft .NET

  • формат pdf
  • размер 11.4 МБ
  • добавлен 12 октября 2009 г.
Учебный курс MCSD. Издательско-торговый дом «Русская Редакция», 2004. — 416 стр. Учебный курс предназначен специалистам в области информационных технологий, занимающимся проектированием, разработкой и внедрением ИТ-решеннй в Windows-среде с использованием инструментов и технологий Microsoft, а также всем, кто хочет получить исчерпывающие знания в области проектирования ПО. Помимо теоретического материала курс содержит упражнения и контрольные во...

Канер Сэм, Фолк Джек, Нгуен Кек Енг. Тестирование программного обеспечения. Фундаментальные концепции менеджмента бизнес-приложений

  • формат pdf
  • размер 23.63 МБ
  • добавлен 10 октября 2009 г.
Книга именитых специалистов в области разработки программного обеспечения посвящена одному из наиболее важных и нетривиальных аспектов в рамках процесса создания сложных программных систем. Книгу отличает, прежде всего, привязка к условиям реального мира на примерах известных компаний-разработчиков, находящихся в Силиконовой долине. Подробно рассматривается широкий спектр вопросов: от организации процесса тестирования до собственно тестирования п...

Вигерс Карл. Разработка требований к программному обеспечению

  • формат pdf
  • размер 37.91 МБ
  • добавлен 18 сентября 2009 г.
Издательско-торговый дом «Русская Редакция», 2004. —576с.: ил. Эта книга посвящена разработке качественных требований к продукту. Здесь описаны дюжины проверенных на практике способов выявления, формулирования, разработки, проверки, утверждения и тестирования требований к ПО, которые помогут разработчикам ПО, менеджерам и маркетологам создать эффективное ПО. Это перевод второго издания оригинальной книги, которое дополнено новыми главами о роли...

Диплом - Разработка системы компьютерного контроля знаний по дисциплинам кафедры

degree
  • формат doc
  • размер 2.25 МБ
  • добавлен 12 сентября 2009 г.
Введение. Серверная часть программного комплекса. О программе. Интерфейс серверной части программного комплекса. Как работает серверная часть программного комплекса. Административная часть программного комплекса. О программе. Настройки соединения с серверной частью программного комплекса. Подключение к серверной части программного комплекса. Описание интерфейса программы. Администрирование. Тестовые вопросы. Клиентская часть программного комплекс...

Иванова Г.С. Технология программирования

  • формат pdf
  • размер 9.91 МБ
  • добавлен 01 июня 2009 г.
Подробно рассмотрены основные методы и нотации, применяемые при разработке сложного программного обеспечения. При этом особое внимание уделено проектированию программных систем с использованием структурного, объектного и компонентного подходов. Детально разобраны основные приемы обеспечения требуемых технологических свойств. Приведена классификация и проанализированы принципы проектирования пользовательских интерфейсов программного обеспечения. И...

Жоголев Е.А. Введение в технологию программирования

  • формат htm, pdf
  • размер 509.76 КБ
  • добавлен 01 июня 2009 г.
Е. А. Жоголев. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ". Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программном средстве. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы...

Силаенков А.Н. Лекции по технологии программирования

  • формат doc
  • размер 3.88 МБ
  • добавлен 24 мая 2009 г.
Введение в технологию программирования. Характеристики программного обеспечения. Жизненный цикл программного обеспечения. Этапы решения задач на ЭВМ. Этапы разработки программы. Структурное программирование. Пошаговая детализация - основной метод построения текста программного модуля. Объектно-ориентированное программирование. Программирование ветвлений и циклов. Объектно - ориентированное программирование. Программирование обработки таблиц. Объе...

Гагарина Л.Г. Технология разработки программного обеспечения

  • формат djvu
  • размер 6.51 МБ
  • добавлен 24 мая 2009 г.
ИНФРА-М, 2008. - 400 с. Рассматриваются основные понятия и определения, классификация ПО, этапы создания программного продукта в рамках жизненного цикла, освещается современное состояние технологий разработки программных продуктов. Изложены существующие подходы к оценке качества процессов создания ПО, произведен анализ требований и определение спецификаций ПО. Большое внимание уделено вопросам проектирования ПО, его надежности, коллективной разр...

Орлов С.А. Технология разработки программного обеспечения

  • формат doc
  • размер 1.84 МБ
  • добавлен 17 мая 2009 г.
Учебник посвящен систематическому изложению принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Изложены классические основы программной инженерии, показаны последние научные и практические достижения, характеризующие динамику развития этой области; продемонстрирован комплексный подход к решению наиболее важных вопросов, возникающих в больших программных проектах. В основу материала положен двен...

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

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

Мозговой М. В. Классика программирования: алгоритмы, языки, автоматы, компиляторы. Практический подход

  • формат djvu
  • размер 2.93 МБ
  • добавлен 14 февраля 2009 г.
СПб.: Наука и Техника, 2006. - 320 с.: ил. Книга посвящена описанию фундаментальных основ компьютерной науки и их применению на практике. Рассмотрено большое количество алгоритмов и моделей, которые можно использовать в повседневном программировании. При этом показано, как их использовать. Практически все книги подобной направленности имеют ярко выраженную теоретическую ориентацию. В них много формул, теорем и доказательств, но крайне мало листин...

Технология программирования

  • формат doc
  • размер 1.21 МБ
  • добавлен 18 января 2009 г.
Содержание. Введение. Технология программирования. Основные понятия и подходы. Технология программирования и основные этапы ее развития. Жизненный цикл и этапы разработки программного обеспечения. Постановка и алгоритмизация задач. Понятие алгоритма. Способы описания алгоритмов. Структурные схемы алгоритмов. Основы языка. Алфавит языка. Структура программы. Основные функции среды турбо паскаль. Функциональные клавиши. Текстовый редактор среды. Сч...

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

  • формат djvu
  • размер 4.61 МБ
  • добавлен 26 декабря 2008 г.
Книга представляет собой руководство по широко используемому в настоящее время методу конечных элементов, позволяющему получать численные решения инженерных, физических и математических задач. Детальное обсуждение основных идей метода сопровождается примерами, иллюстрирующими технику его применения. Приводится большое число простых программ, написанных на алгоритмическом языке ФОРТРАН и служащих учебным целям. М.: "Мир" -1979. -392с. Формат: DjVu

Галіцин В.К., Сидоренко Ю.Т. Програмні оболонки і пакети: Навч. посібник

  • формат doc
  • размер 3.18 МБ
  • добавлен 25 декабря 2008 г.
Навчальний посібник призначений для студентів ІІІ курсу спеціальності 6102 «Економічна кібернетика» усіх форм навчання. Метою вивчення дис-ципліни є формування у студентів теоретичних знань та практичних навичок з методології побудови та використання програмних оболонок і пакетів, освоєння розвинутих і перспективних засобів їх конструювання. Посібник буде корисним для студентів, аспірантів і викладачів економічних спеціаль-ностей, а також всім, х...

Гвоздев, Мукасеева. Методичка. Специфицирование и тестирование программ

  • формат jpg
  • размер 28.14 МБ
  • добавлен 25 декабря 2008 г.
Методичка для курсовой работы 2 курса (3 семестр) Специфицирование программы с помошью таблиц решений; стратегии тестирования; Метод тестирования таблиц решений; Методика выполнения курсовой Работы: ограничения, блок-схемы, теория по курсачу; тестирование методами белого и черного ящиков; оформление курсача. Отфотканная методичка. Незаменим для выполонений курсача по требованиям Гвоздева и Мукасеевой. rn

Липаев В.В. Документирование сложных программных средств

  • формат doc
  • размер 416.57 КБ
  • добавлен 16 декабря 2008 г.
Документация в жизненном цикле сложных программных средств. Стандартизация документирования процессов и продуктов сложных программных средств. Структура и содержание – Шаблоны документов сложных программных средств

Тамре Луиза. Введение в тестирование программного обеспечения

  • формат djvu
  • размер 6.57 МБ
  • добавлен 02 октября 2008 г.
Данная книга служит руководством по организации процессов тестирования во время разработки программного обеспечения. Она призвана помочь в принятии решений при составлении и отборе тестовых примеров, имеющих целью повышение эффективности процесса тестирования ПО. Здесь рассматриваются ключевые процедуры, выполняемые на ранних этапах тестирования ПО, в частности, определение недостающих сведений и оценка качества требований. Много внимания уделено...

Котляров В.П. Основы тестирования программного обеспечения

  • формат djvu
  • размер 3.2 МБ
  • добавлен 02 октября 2008 г.
Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. 2006г

Технология программирования

  • формат djvu
  • размер 2.77 МБ
  • добавлен 28 сентября 2008 г.
Основные понятия подходы, приемы обеспечения технологичесности программных продуктов, определение и анализ требований.

Кулямин В.В. Технологии программирования. Компонентный подход

  • формат pdf
  • размер 3.61 МБ
  • добавлен 27 сентября 2008 г.
Курс посвящен технологическим проблемам разработки крупномасштабных программных систем и методам решения этих проблем. В нем рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий Java и .NET, а также дается введение в эти технологии. Читатели получат хорошее представление о методах разработки сложного программного обеспечения, об использова...

Липаев В.В. Программная инженерия

  • формат pdf
  • размер 9.33 МБ
  • добавлен 28 августа 2008 г.
Методологические основы. (Лекции). Москва 2006 г. Курс лекций предназначен для представления студентам, аспирантам и менеджерам проектов современного комплекса задач, методов и стандартов программной инженерии - создания и развития сложных, многоверсионных, тиражируемых программных средств и баз данных требуемого высокого качества. Содержание: Предисловие. Программная инженерия в жизненном цикле программных средств. Профили стандартоы жизненного...

Мукасеева В.Н., Стоянов В.В. Методичка по лабораторным работам

  • формат doc
  • размер 30.38 КБ
  • добавлен 17 июля 2008 г.
Объектно-ориентированное программирование: Лабораторный практикум по дисциплине Технология программирования. /Уфимск. гос. авиац. техн. ун-т; Сост.: В. Н. Мукасеева, В. В. Стоянов. - Уфа, 2007 - 29 с. Содержатся сведения, касающиеся разработке классов на языке С++. Цикл лабораторных работ посвящен технологии объектно-ориентированного программирования на языке C++ в интегрированной среде разработки фирмы Microsoft Visual Studio v.6 – v .8. Изло...

Орлов С. Технологии разработки программного обеспечения

  • формат doc
  • размер 2.39 МБ
  • добавлен 14 июня 2008 г.
Учебник посвящен систематическому изложению принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Изложены классические основы программной инженерии, показаны последние научные и практические достижения, характеризующие динамику развития этой области; продемонстрирован комплексный подход к решению наиболее важных вопросов, возникающих в больших программных проектах. В основу материала положен двен...

Соммервилл, Иан. Инженерия программного обеспечения

  • формат doc
  • размер 14.2 МБ
  • добавлен 08 июня 2008 г.
Соммервилл, Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. – М.: Издательский дом "Вильямс", 2002. – 624 с.: ил. === Данная книга является прекрасным введением в инженерию программного обеспечения. Здесь дана широкая панорама тем инженерии ПО, охватывающих все этапы и технологии разработки программных систем. В семи частях книги представлен весь спектр процессов, ведущих к созданию программного обеспечения: от начальной разра...

Зубкова Т.М. Технология разработки программного обеспечения (учебное пособие)

  • формат doc
  • размер 457.69 КБ
  • добавлен 17 января 2007 г.
В пособии кратко изложены основные теоретические положения предмет. В нем представлены требования к выполнению курсового проекта, даются указания по структуре и содержанию пояснительной записки, приводятся рекомендации по выполнению и оформлению отдельных частей курсового проекта. Учебное пособие предназначено для студентов, обучающихся по программам высшего профессионального образования при изучении дисциплины «Технология разработки программног...

Методичка по лабораторной работе №3

  • формат doc
  • размер 10.55 КБ
  • добавлен 28 мая 2005 г.
Автор неизвестен. Методические указания к лабораторной работе программирование алгоритмов обработки файловой информации по дисциплине Технология программирования. Усвоение студентами приемов программирования работы с файлами и обработки файловой информации.

Методичка по лабораторной работе №2

  • формат doc
  • размер 21.06 КБ
  • добавлен 27 мая 2005 г.
Автор неизвестен. Методические указания к лабораторной работе создание списковых структур данных по дисциплине технология программирования. Усвоение студентами рекурсивных процедур программирования на примере создания списков данных.

Методичка по лабораторной работе №1

  • формат doc
  • размер 15.92 КБ
  • добавлен 26 мая 2005 г.
Автор неизвестен. Методические указания к лабораторной работе тестирование программ методами белого ящика’ по дисциплине технология программирования. Усвоение студентами методов тестирования логики программы, формализованного описания результатов тестирования и стандартов по составлению схем программ.