Addison Wesley, 2003. — 560 p. — ISBN: 978-0-321-12521-5. The software development community widely acknowledges that domain modeling is central to software design. Through domain models, software developers are able to express rich functionality and translate it into a software implementation that truly serves the needs of its users. But despite its obvious importance, there are...
Addison Wesley, 2003. — 560 p. — ISBN: 978-0-321-12521-5. The software development community widely acknowledges that domain modeling is central to software design. Through domain models, software developers are able to express rich functionality and translate it into a software implementation that truly serves the needs of its users. But despite its obvious importance, there are...
Addison Wesley, 2015. — 560 p. — ISBN: 978-0-321-12521-5. Eric Evans has written a fantastic book on how you can make the design of your software match your mental model of the problem domain you are addressing His book is very compatible with XP It is not about drawing pictures of a domain it is about how you think of it the language you use to talk about it and how you organize...
Addison Wesley, 2003. — 560 p. — ISBN: 978-0-321-12521-5. The software development community widely acknowledges that domain modeling is central to software design. Through domain models, software developers are able to express rich functionality and translate it into a software implementation that truly serves the needs of its users. But despite its obvious importance, there are...
М.: Мир, 1977. — 352 с. Книга написана на материале лекций, прочитанных для учителей в Иллинойсском университете. Основная ее цель — показать связь между математикой и вычислительной наукой, ознакомить читателя с машинно-ориентированным подходом к решению математических задач. На многочисленных примерах (из теории графов, комбинаторики, теории случайных процессов, теории чисел)...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...
Пер. с англ. Андрея Логунова. — СПб.: БХВ-Петербург, 2022. — 320 с.: ил. — ISBN 978-5-9775-6757-2. Книга описывает методы создания событийно-управляемых микросервисов для обработки больших объемов данных и предлагает шаблоны приложений, использующих подобную архитектуру. Рассказано о роли микросервисов в поддержке событийно-управляемых проектов, представлены примеры...
М.: Наука, 1976. — 340 с. Книга посвящена численным методам решения нелинейных экстремальных задач вероятностной природы. Основное внимание уделяется развитию стохастических процедур поиска экстремума в задачах с ограничениями, для решения которых невозможно применить известные методы нелинейного программирования. Обсуждаются приложения к вопросам перспективного планирования в...
Addison Wesley, 2015. — 560 p. — ISBN: 978-0-321-12521-5. Eric Evans has written a fantastic book on how you can make the design of your software match your mental model of the problem domain you are addressing His book is very compatible with XP It is not about drawing pictures of a domain it is about how you think of it the language you use to talk about it and how you organize...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...
O’Reilly Media, 2014. — 318 p. — ISBN: 978-1-491-90553-1. If you’re passionate about programming and want to get better at it, you’ve come to the right source. Code Craft author Pete Goodliffe presents a collection of useful techniques and approaches to the art and craft of programming that will help boost your career and your well-being. Goodliffe presents sound advice that...
М.: Радио и связь, 1985. — 207 c. Изложены теоретические и практические основы глобальной машинонезависимой оптимизации исходных программ, написанных на языках программирования высокого уровня. Подробно рассмотрены вопросы выбора места выполнения оптимизации, промежуточного представления программы, удобного для анализа и оптимизации, анализа логических и информационных связей в...
O’Reilly Media, 2014. — 318 p. — ISBN: 978-1-491-90553-1. If you’re passionate about programming and want to get better at it, you’ve come to the right source. Code Craft author Pete Goodliffe presents a collection of useful techniques and approaches to the art and craft of programming that will help boost your career and your well-being. Goodliffe presents sound advice that...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...
М.: Радио и связь, 1985. — 207 c. Изложены теоретические и практические основы глобальной машинонезависимой оптимизации исходных программ, написанных на языках программирования высокого уровня. Подробно рассмотрены вопросы выбора места выполнения оптимизации, промежуточного представления программы, удобного для анализа и оптимизации, анализа логических и информационных связей в...
The MIT Press, 2023. — 496 р. — ISBN: 978-0-262-54623-2. This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those...