Технология разработки программного обеспечения

Статья. Опубликована в журнале Бизнес-информатика. — 2009. — №3(09). — С.3-10. В статье дан краткий обзор наиболее значимых официальных и фактических стандартов системной и программной инженерии, лежащих в основе методологии создания эффективных систем различного назначения, включая информационные бизнес-системы. Рассмотрены как недавно принятые, так и планируемые к принятию...

М.: Мир, 1991. - 408 с. Серия "Математическое обеспечение ЭВМ". Сборник статей. Пер. с англ. ISBN: 5-03-001535-X Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению,...

Springer, 2012. — 491 p. Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer software as easily/cheaply/safely as we imagined. Cost overruns and expensive failures are the...

Статья опубликована в журнале: Кибернетика. — 1972. — № 5. — С. 95-99. Андрей Петрович Ершов (1931-1988) — советский учёный, один из пионеров теоретического и системного программирования, создатель Сибирской школы информатики, академик АН СССР. Его работы оказали огромное влияние на формирование и развитие вычислительной техники не только в СССР, но и во всём мире. В настоящей...

New York: Springer, 2014. - 159p. This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014. The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the...

Springer, 2019. — 159 p. — ISBN: 3030301257. This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid...

New York: Springer, 2016. — 299 p. This book offers a selection of papers from the 2016 International Conference on Software Process Improvement (CIMPS’16), held between the 12th and 14th of October 2016 in Aguascalientes, Aguascalientes, México. The CIMPS’16 is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results,...

Статья опубликована в журнале: Object Magazine. — 1997. — Vol. 7 . — No. 5 . July. P. 52-57. Хорошая, хоть и старая (1997 год) статья, в которой приведены примеры применения паттернов в вещах, которые не имеют отношения к разработке. Такой подход отлично иллюстрирует паттерны и делает их более доступными для понимания. Например, отлично показан паттерн Фасад: интерфейсы офисных...

Springer, 2019. — 711 p. Proceedings of CSI 2015. This book presents selected proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. They cover diverse topics ranging from communications networks to big data analytics, and from system...

29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. — Proceedings. — Etaps, 2020. — 789 p. This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland,...

23rd International Conference, FASE 2020. — Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020. — Proceedings. — ETAPS, 2020. — 560 p. This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place...

М.: Институт системного программирования РАН, 2008. — 12 с. В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать аналогом...

Arxiv.org, 2017. — 20 p. В статье описаны лучшие практики разработки софта, применяющиеся в корпорации "Гугл". Обзор практик разбит на три раздела: Разработка софта (Software development) Управление проектами (Project management) Управление персоналом (People management)

Springer, 2016. — 913 p. 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented together with 4 short...

Springer, 2017. — 509 p. This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on...

Springer, 2021. — 503 p. — ISBN 978-3-030-70005-8. This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020. The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this...

Wiley-ISTE, 2007. — 408 p. — ISBN: 978-1-905-20997-2. This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming. This conference provides papers and workshops which produce new insights, concepts and results which can then be used by those involved in this area to develop...

Springer, 2017. — 358 p. — ISBN: 978-3-319-69482-5; ISBN: 978-3-319-69483-2. This volume contains the papers presented at the third in the SETTA (the Symposium on Dependable Software Engineering: Theories, Tools and Applications) series of conferences – held during October 23–25, 2017, in Changsha, China. The purpose of SETTA is to provide an international forum for researchers...

Springer, 2014. — 965 p. 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings. This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were...

Springer, 2015. — 765 p. 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of...

Springer, 2013. — 916 p. 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings. This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks...

Springer, 2023. — 874 p. The latest advancements in software engineering are featured in this book, which contains the refereed proceedings of the part of the 12th Computer Science Online Conference 2023 (CSOC 2023), held online in April 2023. The software engineering research in system science session is focusing on the importance of software engineering in the field of system...

Springer, 2022. — 210 p. This edited book presents scientific results of the 20th IEEE/ACIS International Conference on Software Engineering Research, Management, and Applications (SERA2022) held on May 25, 2022, in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users and...

Статья. — Информация и космос. — 2010. — №2. — С. 7-14. Предлагается один из возможных подходов к совершенствованию процесса разработки специального программного обеспечения (СПО) автоматизированных систем военного назначения (АС ВН), основанный на создании их функциональных и информационных моделей. Система моделей обеспечивает методологическое единство всех стадий жизненного...