КУРС “ПРОЕКТИРОВАНИЕ СИСТЕМ: Структурный подход”
ГЛАВНЫЕ РАЗДЕЛЫ
(ЧАСТИ):
I.СИСТЕМНЫЕ ВОПРОСЫ
1.1.системы, жизненный
цикл, системный инжениринг, параллельный инжениринг
1.2.структурные
модели (графы, ориентированные графы,
бинарные отношения)
1.3.информационная
технология
1.4.схемы
проектирования
II.СИСТЕМНЫЙ АНАЛИЗ И ПРИНЯТИЕ РЕШЕНИЙ
2.1.принципы системного анализа
2.2.парадигма принятия
решений Г. Саймона
2.3.основные задачи
принятия решений (4), типы шкал
2.4.иерархия
требований и системы критериев, организационная схема принятия решений, роли
при принятии решений
2.5.методы
многокритериального ранжирования: функции полезности
2.6.подход Парето и
его использование для многокритериального ранжирования
2.7.методы
многокритериального ранжирования: методы порогов сравнимости (outranking techniques ELECTRE и т.п.)
2.8.схемы интеграции / агрегирования результатов
III.ОПТИМИЗАЦИЯ И КОМБИНАТОРНАЯ ОПТИМИЗАЦИЯ
3.1.общая модель
оптимизации
3.2.метод эллипсоидов
3.3.задача о рюкзаке,
задача блочного рюкзака
3.4.задача упаковки в
контейнеры (bin-packing), задачи
упаковки
3.5.задача раскраски
графа, задача о клике, задачи покрытия
3.6.задача
выполнимости, задача 3-выполнимости
3.7.задача
коммивояжера, задача Гамильтонова цикла, задачи календарного планирования
3.8.покрывающее
дерево, минимальное дерево Штейнера
3.9.задача
выравнивания (alignment), максимальная подструктура, минимальная
надструктура, сопоставление слов / цепочек (string matching)
3.10.сложность задач
комбинаторной оптимизации (полиномиально решаемые задачи, NP-полные и NP-сложные задачи, приближенно решаемые задачи)
3.11.типы алгоритмов,
глобальные методы и локальные приемы
3.12.эвристики и
приближенные алгоритмы
3.13.генетические
алгоритмы и эволюционная многокритериальная оптимизация
3.14.задачи
назначения / размещения: (базовая задача о назначении – задача о паросочетании,
квадратичная задача о назначении, обобщенная задача о назначении, k-мерные задачи сопоставления (k-matching problems)
IV.СХЕМЫ ПРОЕКТИРОВАНИЯ
4.1.проектировнаие как
генерация – оценивание – выбор
4.2.метод исследования
пространства параметров (parameter space investigation PSI)
4.3.многодисциплинарная
оптимизация (multidisciplinary optimization)
4.4.иерархическая
схема проектирования и каскадная схема проектирования
4.5.выявление узких
мест в системе
V.МОРФОЛОГИЧЕСКИЙ ПОДХОД К ПРОЕКТИРОВАНИЮ
5.1.морфологические
подходы к проектированию (морфологический анализ, близость к идеальному
решению, многокритериальная оценка всех допустимых решений, иерархическое
проектирование)
5.2.морфологический
комбинаторный синтез (комбинаторное проектирование систем)
5.3.комбинаторный
морфологический синтез: улучшение системы (upgrade)
5.4. комбинаторный
морфологический синтез: многостадийное проектирование и проектирование
жизненного цикла
5.5. комбинаторный
морфологический синтез: проектирование систем, включающих несколько продуктов
VI.ДОПОЛНИТЕЛЬНЫЕ СИСТЕМЫЕ ВОПРОСЫ
6.1.тестирование
систем
6.2.оценивание систем
(диагностика)
6.3.техобслуживание
систем (maintenance)
6.4.технология
требований к системам (requirements engineering)
БАЗОВЫЕ ССЫЛКИ:
Курс “Проектирование систем: Структурный подход” http://www.iitp.ru/mslevin/
ДОПОЛНИТЕЛЬНЫЕ ССЫЛКИ
(для большей части книг на английском
имеются переводы на русский)
I.СИСТЕМНЫЕ ВОПРОСЫ
1.G.S.Altshuller, Creativity as Exact Science: The
Theory of the Solution of Inventive
Problems. Gordon&Breach, 1984.
2.R.U. Ayres, Technological Forecasting
and Long-Time Planning. McGraw-Hill, 1969.
3.C.Y. Baldwin, K.B. Clark, Design Rules:
The Power of Modularity. MIT Press, 2000.
4.G. Booch,
Object Oriented Development, The Benjamin / Cummings, 1991.
5.
Addison-Wesley, 1975.
6.D. M. Buede,
The Engineering Design of Systems: Models and Methods, Wiley, 1999.
7.J.R. Dixon, Design Engineering:
Inventiveness, Analysis and Decisions.
McGraw-Hill, 1966.
8.Ю.А. Дубов, С.И. Травкин, В.Н. Якимец, Многокритериальные модели для
построения вариантов выбора. Наука, 1986.
9.Y.Y. Haimes, (Ed.). Large Scale Systems.
10.F. Harari, R.Z. Norman, D. Carthwright,
Structural Models: An Introduction to the Theory of Directed Graphs. Wiley, 1965.
11.D.M. Himmelblau, Morphology of decomposition. In: D.M. Himmelblau, (Ed.). Decomposition of
Large-Scale Problem.
12.C.C. Huang, A. Kusiak,
Modularity in design or products and systems. IEEE Trans. On Systems, Man, and
Cybernetics, Part A, 28(1), 66-77, 1998.
13.V. Hubka, W.E. Eder, Theory of
Technical Systems. A Total Concept Theory for Engineering
Design. Springer, 1988.
14. M.R. Garey,
D.S. Johnson, Computers and Intractability. The Guide to the Theory of NP-Completeness.
W.H. Freeman, 1979.
15.J. Gero, F. Sudweeks, Eds., Advances in Formal Design Methods, Kluwer, 1998.
16.J.C. Jones, Design
Methods. Wiley, 1981.
17.P.S. Krasnoshekov, V.V. Morozov, V.V. Fedorov, Decomposition in design problems. Engineering
Cybernetics, No. 2, 7-17, 1979 (in Russian)
18.A. Kusiak, Engineering Design: Products, Processes, and
Systems, Academic Press, 1999.
19.O.П. Кузнецов, Г.М. Адельсон-Вельский, Дискретная
математика для инженеров. Энергоиздат, 1988
20.М.Ш. Левин, О преподавании информационных технологий. Научно-техническая
информация, Сер. 1, No. 5, 14-23, 1996.
21.М.Ш. Левин, Комбинаторное проектирование систем. Автоматизация
проектирования, No. 4, 14-19, 1997 (имеется свободный доступ в
интернете)
22.M.Sh. Levin,
Combinatorial Engineering of Decomposable Systems, Kluwer,
1998.
23.M.D. Mesarovic, D. Macko, Y. Takahara, Theory of Hierarchical Multilevel Systems. Academic Press, 1970.
24.E. Minieka, Optimization Algorithms for Networks and Graphs.
Marcel Dekker, 1978.
25.Б.Г. Миркин, Проблема группового выбора, Наука, 1974.
26.O. Ore, Theory of
Graphs, Amer. Math. Society, 1962.
27.J. Pahl, W. Beitz, Engineering
Design: A Systematic Approach. Springer, 1988.
28.B. Prasad,
Concurrent Engineering Fundamentals: Integrated Product and Process Organization, Vols. 1 & 2, Prentice Hall,
1996.
29.F.S. Roberts,
Discrete Mathematical Models with Applications to Social, Biological and
Environmental Problems. Prentice Hall, 1976.
30.M.И. Рубинштейн, Оптимальная группировка
взаимосвязанных объектов. Наука, 1989.
31.A.P. Sage, W.B.
Rouse, Eds., Handbook of Systems Engineering and Management. Wiley,
1999.
32.M. Shaw, D. Garlan, Software Architecture: Perspectives on an Emerging
Disciplines. Prentice Hall, 1995.
33.R.J. Wilson,
Introduction to Graph Theory. Oliver & Boyd, 1972.
34.M.Sh. Levin,
Composite Systems Decisions. Springer, 2006.
35.D.M. Buede, The Engineering Design of Systems: Models and
Methods. Wiley, 1999.
36.M.W. Mayer, E. Rechtin, The Art of Systems Architecting. 2nd ed., CRC, 2000.
37.Ch.S. Wasson, System
Analysis, Design, and Development: Concepts, Principles, and Practice. Wiley, 2006.
38.A. Kossiakoff, W.N. Sweet, Systems Engineering Principles and
Practice. Wiley, 2002.
39.B.S. Blanchard,
Systems Engineering Management, 3rd ed., Wiley, 2002.
40.J.O. Grady, System
Requirements Analysis. Academic Press, 2006.
SITES:
1.Course “Design of Systems: structural
approach” http://www.iitp.ru/mslevin/
2.
3.Int. Council on Systems Engineering: http://www.incose.org/
II.СИСТЕМНЫЙ АНАЛИЗ И ПРИНЯТИЕ РЕШЕНИЙ
1.A.Р. Белкин, M.Ш. Левин, Принятие решений: Комбинаторные модели аппроксимации информации,
Наука, 1990
2.P.C. Fishburn,
Utility Theory for Decision Making, Wiley, 1976.
3.В.А. Глотов, В.В. Павельев, Векторная стратификация. Наука, 1976.
4.R.L. Keeny,
H. Raiffa, Decisions with Multiple Objectives:
Preferences and Value Tradeoffs, Wiley, 1976.
5.M.Ш. Левин, A.A. Михайлов, Фрагменты технологии стратификации
объектов. Препринт, Институт системных исследований ВНИИСИ (теперь; Институт
системного анализа), Российская академия наук, 1988.
6.M.Ш. Левин, О третьей грамотности.
Научно-техническая информация, Сер. 2, No. 6, 20-30, 1995.
7.A.V. Lotov,
V.A. Bushenkov, G.K. Kamenev,
Interactive Decision Maps: Approximation and Visualization of Pareto Frontier, Kluwer, 2004.
8.Б.Г. Миркин, Проблема группового выбора, Наука, 1974.
9.V. Pareto, Manual of Political
Economy, Reprint ed.,
10.B. Roy, The
Outranking Approach and Foundations of ELECTRE Methods. In:
11.T.L. Saaty, The Analytic Hierarchy Process, McGraw-Hill, 1988.
12.H. Simon, The
Science of Artifcial, MIT Press, 1969.
13.H.A. Simon, G.B. Dantzig,
R. Hogarth, C.R. Plott, H. Raiffa, T.C. Schelling, K.A. Shepsle, R. Thaler, A. Tversky, S. Winter, Decision Making and Problem Solving. Interfaces, 17(5), 11-31, 1987.
14.R.E. Steuer, Multiple Criteria Optimization: Theory,
Computation, and Application. Wiley, 1986.
15.M.Sh. Levin,
Composite Systems Decisions. Springer, 2006.
16.B.G. Mirkin, Clustering for Data Mining: A Data Discovery
Approach. NJ: Chapman&Hill/CRC, 2005.
17.S.R. Watson, D.M. Buede, Decision Synthesis: the principles of decision
analysis.
SITES
1.Int. Society on MCDM: http://www.terry.uga.edu/mcdm/
2.Decision Science Institute: http://www.decisionsciences.org/
3.INFORMS: http://www.informs.org/
III.ОПТИМИЗАЦИЯ И КОМБИНАТОРНАЯ ОПТИМИЗАЦИЯ
1.N.M. Alexandrov,
M.Y. Hussaini, Eds., Multidisciplinary Design
Optimization: State of the Art (Proc. in Applied Math. Series;
No. 80),
2.J.Aoe, (Ed.), Computer Algorithms: String
Pattern Matching Strategies.
IEEE CS Press, 1994.
3.R. Bellman, Dynamic Programming,
4.M. Ball, M. Magazine, The design and
analysis of heuristics, Networks, 11(2), 215-219, 1981.
5.J. Blazewicz,
W. Cellary, R. Slowinski,
J. Weglarz, Scheduling under Resource Constraints:
Deterministic Models, Baltzer, 1986.
6. E.G. Coffmann, Jr.
(Ed.), Scheduling in Computer and Job Shop Systems, Wiley, 1976.
7.R.W. Conway, W.L. Maxwell, L.W. Miller,
Theory of Scheduling. Addison-Wesley, 1967.
8.D.Gusfield, R.W. Irwing,
The Stable Marriage Problem: Structure and Algorithms, The MIT Press, 1989.
9.M.S. Daskin,
Networks and Discrete Location. Models, Algorithms, and
Applications. Wiley, 1995.
10.K. Deb, Multi-Objective
Optimization Using Evolutionary Algorithms. Wiley, 2001.
11.Ch.A. Floudas, Deterministic Global Optimization, Kluwer, 1999.
12. M.R. Garey,
D.S. Johnson, Computers and Intractability. The Guide to the Theory of NP-Completeness.
W.H. Freeman, 1979.
13.D.E. Goldberg,
Genetic Algorithms in Search, Optimization, and Machine
Learning. Addison-Wesley,
1989.
14. G. Gutin,
A.P. Punnen, Traveling Salesman Problems and Its
Variations.
Kluwer,
2002.
15.A.O. Ivanov, A.A.Tuzhilin, Minimal
Networks. The Steiner Problem and Its
Generalizations. CRC Press, 1994.
16.T.R. Jensen, B. Toft, Graph Coloring Problems. Wiley,
1994.
17.D.S. Johnson, M.A.
Trick, (Eds.), Cliques, Coloring, and Satisfiability.
AMS, Vol. 26, 1996.
18.R.M. Karp, Combinatorics, Complexity, and Randomness, Comm. of the ACM, 29(2), 98-109, 1986.
19.O.П. Кузнецов, Г.М. Адельсон-Вельский, Дискретная
математика для инженеров. Энергоиздат, 1988
20.E.L. Lawler, J.K. Lenstra, A.H.G. Rinnooy
Traveling Salesman Problem. Wiley, 1985.
21.J. Lee, First
Course in Combinatorial Optimization.
22.M.Ш. Левин, Применение оптимизационных
комбинаторных моделей в
автоматизированных системах, ВНИТЭМ, 1986
23.M.Sh. Levin,
Combinatorial Engineering of Decomposable Systems, Kluwer,
1998.
24.S. Martello, P. Toth, Knapsack Problem: Algorithms, and Computer
Implementation, Wiley, 1990.
25.Z. Michalewicz, Genetic Algorithms + Data Structures +
Evolution Programs.
Springer, 1996.
26.E. Minieka, Optimization Algorithms for Networks and Graphs.
Marcel Dekker, 1978.
27.Б.Г. Миркин, Проблема группового выбора, Наука, 1974.
28.G.L. Nemhauser,
29.А.С. Немировский, Б.Д. Юдин, Сожность задач и эффективность методов
оптимизации. Наука, 1979.
30.O. Ore, Theory of
Graphs, Amer. Math. Society, 1962.
31.C.H. Papadimitriou,
K. Steiglitz, Combinatorial Optimization, Prentice
Hall, 1982.
32.P. Pardalos, M.G.C. Resende,
Handbook on Applied Optimization.
33.P.M. Pardalos, H. Wolkowicz, (Ed.),
Quadratic Assignment and Related Problems. American
Mathematical Society, 1994.
34.E.M. Reingold, J. Nievergelt,
35.G. Reinelt, The Traveling Salesman. Springer,
1994.
36.F.S. Roberts,
Discrete Mathematical Models with Applications to Social, Biological and
Environmental Problems. Prentice Hall, 1976.
37.R.Rubinstein, D.P. Kroese, The Cross Entropy Method: A Unified Approach
to Combinatorial Optimization,
Monte-Carlo Simulation and Machine Learning. Springer, 2004.
38.M.И. Рубинштейн, Оптимальная группировка
взаимосвязанных объектов. Наука, 1989.
39.R. Burkard, M. Dell’Amico,
40.E. Cela, The Quadratic Assignment Problem, Kluwer,
1998.
41.R.J. Wilson,
Introduction to Graph Theory. Oliver & Boyd, 1972.
42.G. Winter, J. Periaux,
M. Galan, P. Cuesta,
Genetic Algorithms in Engineering and Computer Science, Wiley, 1996.
43.M.Sh. Levin,
Composite Systems Decisions. Springer, 2006.
44.D.L. Applegate,
R.E. Bixby, V. Chvatal, W.J. Cook, The Traveling
Salesman Problem: A Computational Study.
45.A. Nayak, I. Stojmenovich, Handbook on Applied Algorithms: Solving
Scientific, Engineering, and Practical Problems. IEEE &
Wiley, 2008.
46.M.X. Cheng, Y. Li,
D.-Z. Du, (Eds.), Combinatorial Optimization in
Communication Networks. Sprigner, 2006.
47.G. Gan, G. Ma, J. Wu, Data Clustering: Theory, Algorithms, and
Applications.
48. R.E. Bellman, S.E. Dreyfus, Applied Dynamic
Programming.
49.T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein, Introduction to Algorithms. 2nd ed.,
50. S.S. Skiena, The Algorithm Design Manual. 2nd ed.,
Springer, 2008.
51. V.T. Paschos
(Ed.), Paradigms of Combinatorial Optimization: Problems and New Approaches. Wiley-ISTE, 2010.
52. V.T. Paschos
(Ed.), Applications of Combinatorial Optimization. Wiley-ISTE,
2010.
SITES
1.Dictionary of Algorithms and Data Structure
(NIST): http://www.nist.gov/dads/
2.Combinatorial Problems: Formulations, Algorithms
http://www.cs.sunysb.edu/algorith/implement/syslo/implement.shtml
3.Genetic Algorithm Archive http://www.aic.nrl.navy.mil/galist/
4.OR-Library by J.E. Beasley: http://www.brunel.ac.uk/depts/research/jeb/info.html
5.Repository of e-prints about optimization
(Mathematical Programming Society)
http://www.optimization-online.org/
6.Evolutionary multiobjective
optimization: http://www.lania.mx/~ccoello/EMOO/
7.Graph Coloring Page (Joseph Culberson): http://www.cs.ualberta.ca/~joe/Coloring/
8.Network Resources for Coloring a Graph
(Michael Trick):
http://mat.gsia.cmu.edu/COLOR/color.html
9.Quadratic Assignment Problem Library:
http://www.opt.math.tu-graz.ac.at/qaplib/
10.Traveling Salesman
Problem Homepage: http://www.tsp.gatech.edu
11.Steiner Minimal Tree Problem (Bob Bell): http://www.css.tayloru.edu/~bbell/steiner/
12.Cross Entropy Page:
http://iew3.technion.ac.il/CE/about.php
13.Working Group on
Automated TimeTabling: http://www.asap.cs.nott.ac.uk/watt/
IV.СХЕМЫ ПРОЕКТИРОВАНИЯ
1.N.M. Alexandrov,
M.Y. Hussaini, Eds., Multidisciplinary Design
Optimization: State of the Art (Proc. in Applied Math. Series;
No. 80),
2.R.U. Ayres, Technological Forecasting
and Long-Time Planning. McGraw-Hill, 1969.
3.D. M. Buede,
The Engineering Design of Systems: Models and Methods, 2nd ed.,Wiley,
2009.
4.G. Booch,
Object Oriented Development, The Benjamin / Cummings, 1991.
5.D. Braha,
O. Maimon, A Mathematical Theory of Design:
Foundations, Algorithms and Applications. Kluwer, 1998.
6.J.R. Dixon, Design Engineering:
Inventiveness, Analysis and Decisions.
McGraw-Hill, 1966.
7.Ю.А. Дубов, С.И. Травкин, В.Н. Якимец, Многокритериальные модели для
построения вариантов выбора. Наука, 1986.
8.V. Hubka,
W.E. Eder, Theory of Techncial
Systems. A Total Concept Theory for Engineering Design.
Springer, 1988.
9.J.C. Jones, Design Methods. Wiley, 1981.
10.П.С. Краснощеков, В.В. Морозов, В.В. Федоров, Декомпозиция в задачах
проектирования. Техническая кибернетика,
No. 2, 7-17, 1979.
11.A. Kusiak, Engineering Design:
Products, Processes, and Systems, Academic Press, 1999.
12.H. Li,
13.F. Mistree, D. Muster, The
decision support problem technique for design. In: ASEE Annual Conf. Proceedings,
117-126, 1986.
14.J. Pahl, W. Beitz, Engineering
Design: A Systematic Approach. Springer, 1988.
15.R.B. Statnikov, J. Matusov, Multicriteria Optimization and Engineering, Chapman&Hall, 1995.
16.M.Sh. Levin,
Composite Systems Decisions. Springer, 2006.
SITES
1.Optimal Decomposition of Design Problems (
2.
3.The Synthesis Coalition: http://www.synthesis.org
4.Int. Council on Systems Engineering: http://www.incose.org/
5.Computer-Aided Systems Laboratory (
6.Design Decision Support Laboratory (Sapour Azarm) http://ddsl.umd.edu/
7.Int. Society for Structural and
Multidisciplinary Optimization http://www.issmo.org
V.МОРФОЛОГИЧЕСКИЙ ПОДХОД К ПРОЕКТИРОВАНИЮ
1.R.U. Ayres, Technological Forecasting
and Long-Time Planning. McGraw-Hill, 1969.
2.Ю.А. Дубов, С.И. Травкин, В.Н. Якимец, Многокритериальные модели для
построения вариантов выбора. Наука, 1986.
3.П.С. Краснощеков, В.В. Морозов, В.В. Федоров, Декомпозиция в задачах
проектирования. Техническая кибернетика,
No. 2, 7-17, 1979.
4.J.C. Jones, Design Methods. Wiley, 1981.
5.M.Sh. Levin, Combinatorial Engineering
of Decomposable Systems, Kluwer, 1998.
6.F. Zwicky,
Discovery Invention, Research Through the Morphological Approach. McMillan, 1969.
7.M.Sh. Levin, Composite Systems
Decisions. Springer, 2006.
SITES:
1.The Synthesis Engineering Education
Coalition: http://www.synthesis.org/
2.Swedish Morphological Society: http://www.swemorph.com/
VI.ADDITIONAL SYSTEM ISSUES
1.K. Bogdanov,
M. Holombe, Statechart
testing method for aircraft control systems. Software
Testing, Verification and Reliability, 11, 39-54, 2001.
2.D.M. Cohen, S.R. Dalal, J. Parelius, G.C. Patton,
The combinatorial design approach to automatic test generation, IEEE Software, pp. 83-87, Sept. 1996.
3.J.M. Cross, Fundamentals of Preventive
Maintenance.
American Management Association, 2002.
4.
5.
6.P.C. Jorgensen, Software Testing. A Craftman's Approach, 2 ed., CRC Press,
7.C. Kaner, J. Falk, H.Q. Nguyen, Testing
Computer Software, 2nd ed., Wiley, 1999.
8.M.G. Karpovsky,
E.A. Moskalev, Covering of edges of graph by a
minimal set of paths. Discr. Math. 58(2),
214, 1986.
9.K.R.P.H. Leung, W. Wong, J.K-Y. Ng, Generating test cases from class
vectors, The J.
of Systems and Software 66(1), 35-46, 2003.
10.M.Sh. Levin, M.
Last, Multi-Function System Testing: Composition of Test Sets. 8th
IEEE Int. Conf.
HASE 2004, Tampa, FL, 99-108, 2004.
11.J. Levitt, Complete Guide to Preventive and Predictive
Maintenance. Industrial Press, 2002.
12.V.V. Lipaev, A methodology of verification and testing of large
software systems. Programming and
Computer Software 29(6), 298-309, 2003.
13.S. Robertson, J.
Robertson, Mastering the Requirements Process.
Addison-Wesley, 1999.
14.P.J. Schroeder, B. Korel, Black-box test reduction using Input-Output
analysis, ACM SIGSOFT Software Eng. Notes 25(5), 173-177, 2000.
15.S. Stoica, Generating functional
design verification tests, IEEE Design&Test
16(3), 53-63, 1999.
16.R.D. Palmer,
Maintenance Planning and Scheduling Handbook. McGraw-Hill,
1999.
17.T.J. Ostrand, M.J. Balcer,
The category-partition method for specifying and generating functional tests,
Comm. of the ACM 31(6), 676-686, 1988.
18.K.E. Wiegers, Software
Requirements. 2nd ed., Microsoft Press, 2003.
19.T. Wireman, Total Productive Maintenance. Industrial Press, 2004.
20.R.R. Yong, The Requirements Engineering Handbook. Artech House, 2004.
21.M.Sh. Levin, Composite Systems Decisions. Springer, 2006.
SITES
1.STORM: software testing online resources http://www.mtsu.edu/~storm
2.IEEE Task Force on Requirements Engineering: http://www.shu.ac.uk/tfre/
3.Maintenance World: http://www.maintenanceworld.com/
4.The Software Quality Engineering & Data Mining Laboratory (M. Last) http://www.ise.bgu.ac.il/faculty/mlast/
5.Verification and Testing Research Group (M. Holombe) http://www.dcs.shef.ac.uk/research/groups/vt/
СТРУКТУРА ЭКЗАМЕНА
A.Предварительная часть: Отчеты по лабораторным работам 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, и 12
B.Основная часть:
(1)Вопросы: (a) вопрос из разделов I или II или VI
(b) вопрос из раздела III
(c) вопрос из разделов IV или V
(2)Обсуждение