 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
T. H. Tse, C. J. van Rijsbergen
A Unifying Framework for Structured Analysis and Design Models : An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science)
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists. Категории каталога: Английский язык |
|
Студенту на заметку:
Рейтинг ВУЗов мира 2014 по версии QS
Знаменитая РЅР° весь РјРёСЂ консалтинговая компания РёР· Британии Quacquarelli Symonds (QS) опубликовала СЃРІРѕР№ ежегодный рейтинг лучших Р’РЈР—РѕРІ РјРёСЂР°. Рейтинг составляется РїРѕ методике QS, которая признана РІ РјРёСЂРµ РѕРґРЅРѕР№ РёР· самых передовых Рё объективных. Р’ актуальный рейтинг вошло РІ общей сложносС...
Лучшими в этом году по качеству приема стали МГУ и СПбГУ
РњРѕСЃРєРѕРІСЃРєРёР№ государственный университет имени Ломоносова Рё Санкт-Петербургский государственный университет оказались среди классических Р’РЈР—РѕРІ РЅР° первых позициях РІ рейтинге РїРѕ качеству приема абитуриентов РІ 2012 РіРѕРґСѓ РїРѕ результатам ЕГРна бюджет РІ государственные Р’РЈР—С‹, СЃР...
|
