Специализированные модели для разработки информационных систем

Специализированные модели для разработки информационных систем

Формализованная модель на основе комбинации средств UML и CSP-OZ

LAP Lambert Academic Publishing ( 2011-09-08 )

€ 49,00

Buy at the MoreBooks! Shop

Одним из важных факторов разработки современного программного обеспечения является формализованный подход, обеспечивающий строгое и однозначное описание создаваемого программного продукта. Наилучший эффект применения формализованных средств достигается в случае их адекватного использования на всех необходимых этапах разработки, начиная от постановки задачи до этапа непосредственной реализации и внедрения программного продукта. Такой подход обеспечивает возможность компактного описания и принятия обоснованных решений по методам реализации. Основу формализованного подхода составляет построение формальной модели, с помощью которой обеспечивается не только описание соответствующих компонент программного продукта на всех этапах жизненного цикла программного обеспечения, но и проведение предварительных исследований по выбору адекватных методов разработки и реализации. В работе предлагается один из подходов к построению специализированной объектно-ориентированной модели для создания информационных систем на основе соединения средств описания диаграмм 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

I understood
We use cookies to enhance your experience. Learn More