Ibm Rational Rose

Together Control Center

WebML & WebRation

Telelogic Tau

Citrin W., Ghiasi S., Zorn B.G VIPR and the Visual Programming Challenge J. Vis. Lang. Comput. 9(2), 1998, p. 241-258

Marca D.A., McGowan C.L SADT Structured Analysis and Design Technique McGraw-Hill, 1988

Integration Definition For Function Modeling (IDEF0) Draft Federal Information Processing Standards Publication 183, 1993, 79 p

Буч Г., Якобсон А., Рамбо Дж UML 2.0 СПб.: Питер, 2006, 735 с

UML 2.0 Infrastructure Specification September, 2004

Marca D.A., McGowan C.L SADT Structured Analysis and Design Technique McGraw-Hill, 1988

Kruchten P The 4+1 View Model of Architecture IEEE Software, 1995, 12(6), P. 42-50

Якобсон А., Буч Г., Рамбо Дж Унифицированный процесс разработки програм СПб.: Питер, 2002, 492 с

Selic B., Gullekson G., Ward P.T Real-Time Object-Oriented Modeling John Wiley & Sons, Inc., 1994, 525 p

ITU-T MSC2000R3 Draft Z.120(11/99) Message Sequence Charts ITU-T Recommendation Z.120

Кознов Д., Перегудов А., Романовский К., Кашин А., Тимофеев А Опыт использования UML при создании технической документации. Системное программирование. Вып. 1 СПб.: Изд. СПбГУ, 2005, С. 18-35

Кулямин В.В Технология программирования. Компонентный подход М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2007. 463 с

Selic B., Gullekson G., Ward P.T Real-Time Object-Oriented Modeling John Wiley & Sons, Inc., 1994, 525 p

Фаулер М., Скотт К UML. Основы СПб.: Символ, 2006, 184 с

Буч Г Объектно-ориентированный анализ и проектирование с примерами приложений на С++ М.: Бином, СПб.: Невский диалект, 1998, 560 с

Леоненков А.В Объектно-ориентированный анализ и проектирование с использованием UML и IBM Rational Rose М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2006, 319 с

Кознов Д.В., Перегудов А.Ф «Человеческие» особенности использования UML Системное программирование. Вып. 1. СПб.: Изд-во СПбГУ, 2005, c. 18-35

Юнг К.Г Психологические типы Минск: Хапвест, 2003

Koznov D.V Visual Modeling and Software Project Management Proceedings of 2nd International Workshop «New Models of Business: Managerial Aspects and Enabling Technology», edited by N. Krivulin, Saint-Petersburg, 2002, p. 161-169

Кознов Д.В Коммуникативный аспект визуального моделирования при разработке программного обеспечения. Ежегодник российского психологического общества: материалы III Всероссийского съезда психологов, 25-28 июня 2003 года, в 8-ми томах Спб: Изд-во СПбГУ, 2003, Т. 4, c. 303-308

Бахтияров О Постинформационные технологии: введение в психонетику Киев: ЭКСПИР, 1997

Sommerville I Software Engineering. 6th Edition Addison-Wesley, 2001, 693 p

Карпов Ю.Г Теория автоматов СПб.: Питер, 2003, 206 с

Иванов А.Н., Кознов Д.В., Лебедев А.В., Мурашова Т.С., Мухин А.А., Парфенов В.В Мобильные телекоммуникационные системы (GSM): обзор задач Технический отчет. СПб.: Изд-во СПбГУ, 1996

ITU Recommendation Z.100: Specification and Description Language 08/2002, 206 p

Кознов Д.В Проблемы разработки компонентного программного обеспечения. Объектно-ориентированное визуальное моделирование СПб.: Изд-во СПбГУ, 1999, с. 86-100

Парфенов В.В., Терехов А.Н RTST — технология программирования встроенных систем реального времени. Системная информатика. Вып. 5: Архитектурные, формальные и программные модели Н.: Изд. сибирского отд. российск. академ. н., 1997, с. 228-256

Парфенов В.В Проектирование и реализация программного обеспечения встроенных систем с использованием объектно-базированного подхода Диссертация на соискание степени кандидата ф.-м. наук. СПбГУ, 1995

Miller G.A The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information Psychological Review, 1956, V. 63. № 2

ITU Recommendation Z.100: Specification and Description Language 1993, 204 p

Harel D., Politi M Modeling Reactive Systems with Statecharts: state machine approach McGraw-Hill, 1998, 258 p

ITU Recommendation Z.120. Formal description techniques Message Sequence Chart. 1999, 98 p

Чен П Модель «сущность-связь» — шаг к единому представлению о данных СУБД № 3, 1995

Кузнецов С.Д Основы баз данных М.: Изд-во: Интернет-университет информационных технологий — ИНТУИТ.ру, 2005, 488 с

Конноли Т., Бегг К Базы данных. Проектирование, реализация и сопровождение. Теория и практика. 3-е изд Изд-во «Вильямс», 2003, 1436 с

Мюллер Р Базы данных и UML. Проектирование Изд-во «Лори», 2002, 432 с

Дунаев В Базы данных. Язык SQL СПб.: Изд-во BHV-СПб, 2006, 288 с

Integration Definition For Information Modeling (IDEF1X) Draft Federal Information Processing Standards Publication, 1993, 87 p

Стригун С.А., Иванов А.Н., Соболев Д.И Технология REAL для создания информационных систем и ее применение на примере системы «Картотека». Математические модели и информационные технологии в менеджменте. Вып. 2 Спб.: Изд-во СПбГУ, 2004, с. 120-139

Иванов А.Н Технологическое решение REAL-IT: создание информационных систем на основе визуального моделирования Системное программирование. СПб.: Изд-во СПбГУ, 2004, c. 89-100

Хаммер М., Чампли Д Реинжиниринг корпораций СПб.: Изд-во СПбГУ, 1999, 328 с

Havey M Essential Business Process Modeling O’REILLY, 2005, 332 p

Business Process Modeling Notation Final Notation Specification dtc/06-02-01. OMG, 2006

Питеркин С.В., Оладов Н.А., Исаев Д.В Точно вовремя для России. Практика применения ERP-систем. 2-е издание Изд-во «Альпина Паблишер», 2003, 368 с

Greenfield J., Short K. et al Software Factories: Assembling Applications with Patterns Models, Frameworks, and Tools. John Wiley & Sons. 2004, 666 p

Павлинов А., Кознов Д., Перегудов А., Бугайченко Д., Казакова А., Чернятчик Р., Фесенко Т., Иванов А О средствах разработки проблемно-ориентированных визуальных языков. Сб. «Системное программирование», Вып. 2 СПб.: Изд-во СПбГУ, 2006, c. 121-147

A Framework for Software Product Line Practice SEI, Version 4.2

Tolvanen J.P., Kelly S., Gray J., Lyytinen K Proceedings of OOPSLA workshop on Domain-Specific Visual Languages Tampa Bay, Florida, USA; Technical Reports, TR-26, University of Jyvaskyla, Finland, 2001, 101 p

Journal of Visual Languages and Computing 15 (2004), Preface, P. 207-209

Czarnecki K., Eisenecker U.W Generative programming: Methods, Tools, and Applications Addison-Wesley, 2000, 832 p

Clements P., Northrop L Software Product Lines: Practices and Patterns Boston, MA: Addison-Wesley, 2002

Кознов Д.В Программная инженерия. Часть I. Методическое пособие СПб.: Изд-во СПбГУ, 2005, 40 с

Попова Т.Н., Кознов Д.В., Тиунова А.Е., Романовский К.Ю Эволюция общих активов в семействе средств реинжиниринга программного обеспечения. Системное программирование. Сб. статей СПб., 2004, c. 184-198

Кознов Д.В Визуальное моделирование компонентного программного обеспечения Диссертация на соискание ученой степени кандидата физико-математических наук. СПбГУ, 2000, 82 с

Koznov D., Kartachev M., Zvereva V., Gagarsky R., Barsov A Roundtrip engineering of reactive systems Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October-2 November 2004, Paphous, Cyprous, P. 343-346

Eclipse

Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж Приемы объектно-ориентированного проектирования Изд-во Питер, 2005, 368 с

Greenfield J., Short K. et al Software Factories: Assembling Applications with Patterns Models, Frameworks, and Tools. John Wiley & Sons, 2004, 666 p

Авербух В.Л К теории компьютерной визуализации

Stamper R Organisational Semiotics — Information without the Computer? Kluwer, Boston, 2001

Liu K Requirements Reengineering from Legacy Information Systems Using Semiotic Techniques Systems, Signs & Actions, 2005, Vol. 1, № 1. P. 38-61

Gibson J The Ecological Approach to Visual Perception Houghton Mifflin Company, 1979

Моррис Ч Основы теории знаков. Cемиотика М.: Радуга, 1983, с. 37-90

А.Н. Терехов и А.А. Терехов Автоматизированный реинжиниринг программ СПб.: Изд-во СПбГУ, 2000

Ахтырченко К.В., Сорокваша Т.П Методы и технологии реинжиниринга ИС Труды Института Системного Программирования РАН

Diagram Interchange OMG specification. Version 1.0, formal/06-04-04, 2006

Object Constraint Language (OCL) OMG specification. Version 2.0, formal/06-05-01, 2006

Demeyer S., Ducasse S., Tichelaar S Why Unified is not Universal? UML Shortcomings for Coping with Round-trip Engineering «UML» '99 — The Unified Modeling Language: Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 1999, Proceedings, LNCS 1723, Springer, 1999, P. 748

MOF 2.0/XMI Mapping Specification OMG specification. Version 2.1, formal/05-09-01, 2005

Ахо А., Ульман Дж Теория синтаксического анализа, перевода и компиляции М.: Мир, 1978

Мартыненко Б.К Языки и трансляции СПб.: Изд-во СПбГУ, 2002, 229 с.

Кулямин В.В Технология программирования. Компонентный подход М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2007, 463 с