Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца Алсуша со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

Generating Alloy Specification   Kiramat Rahman and Shabaz Ahmed Khan Ghayure

Generating Alloy Specification

88 страниц. 2012 год.
LAP Lambert Academic Publishing
Software requirements are typically written in textual forms using a natural language. This is a very common way for writing user requirements, since it allows non-technical stakeholders to read, comment and discuss the requirements in a format that they can comprehend. However, user requirements written in natural languages can often be ambiguous, incomplete, and inconsistent, which leads to problems when constructing the software system. Additionally, the interpretation of requirements in natural languages can be affected by geographical, psychological and sociological factors. Thus, it is very relevant to detect and fix potential ambiguities, inconsistencies, and incompleteness in the written requirements. This leads to better products (i.e., in accordance to the needs and expectations of the stakeholders) and reduces the development cost. these issues has been address in this book.
 
- Генерация страницы: 0.04 секунд -