LAP Lambert Academic Publishing ( 2011-09-08 )
€ 49,00
Одним из важных факторов разработки современного программного обеспечения является формализованный подход, обеспечивающий строгое и однозначное описание создаваемого программного продукта. Наилучший эффект применения формализованных средств достигается в случае их адекватного использования на всех необходимых этапах разработки, начиная от постановки задачи до этапа непосредственной реализации и внедрения программного продукта. Такой подход обеспечивает возможность компактного описания и принятия обоснованных решений по методам реализации. Основу формализованного подхода составляет построение формальной модели, с помощью которой обеспечивается не только описание соответствующих компонент программного продукта на всех этапах жизненного цикла программного обеспечения, но и проведение предварительных исследований по выбору адекватных методов разработки и реализации. В работе предлагается один из подходов к построению специализированной объектно-ориентированной модели для создания информационных систем на основе соединения средств описания диаграмм UML с формальным аппаратом теории CSP-OZ.Предлагаемый подход демонстрируется на примере системы управления и резервирования авиабилетов.
Book Details: |
|
ISBN-13: |
978-3-8454-4045-3 |
ISBN-10: |
3845440457 |
EAN: |
9783845440453 |
Book language: |
Russian |
By (author) : |
Арслан Еникеев |
Number of pages: |
104 |
Published on: |
2011-09-08 |
Category: |
Informatics, IT |