Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
требования
Связанные издания:
Advanced Agent Technology: Revised Selected Papers/AAMAS 2011 Workshops AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2011
Advanced Information Systems Engineering: Proc./27th International Conference, CAiSE 2015, Stockholm, Sweden, June 2015
Advances in Databases and Information Systems: Proc./19th East European Conference, ADBIS 2015, Poitiers, France, September 2015
Advancing the Impact of Design Science: Moving from Theory to Practice: Proc./9th International Conference, DESRIST 2014, Miami,FL,USA, May 2014
An Ontological Approach to a System of Requairements Patterns
Functional and Logic Programming: Proc./13th International Symposium, FLOPS 2016, Kochi, Japan, March 2016
Generative and Transformational Techniques in Software Engineering IV: Revised Papes/ International Summer School, GTTSE 2011, Braga, Portugal, July 2011
Grand Timely Topics in Software Engineering: Tutorial Lectures/International Summer School GTTSE 2015, Braga, Portugal, August 2015
Information Computing and Applications: Proc./2nd International Conference, ICICA 2011, Qinhuangdao, China, October 2011
Product-Focused Software Process Improvement: Proc./17th International Conference, PROFES 2016, Trondheim, Norway, November 2016
Requirements Engineering: Foundation for Software Quality: Proc./19th International Working Conference, REFSQ 2013, Essen, Germany, April 2013
Requirements Engineering: Foundation for Software Quality: Proc./20th International Working Conference, REFSQ 2014, Essen, Germany, April 2014
Requirements Engineering: Foundation for Software Quality: Proc./23rd International Working Conference, REFSQ 2017, Essen, Germany, February 2017
Requirements Engineering: Foundations for Software Quality: Proc./18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012
Service-Oriented and Cloud Computing: Proc./3rd European Conference, ESOCC 2014, Manchester, UK, September 2014
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014
Адаптация общих концепций тестирования программного обеспечения к нейронным сетям
Разработка автоматных программ методом трансформации требований