| Russian | English |
| в данной главе вводятся и исследуются методы использования конечных автоматов | this chapter introduces and explores the uses of state machines (ssn) |
| в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| данная глава | this chapter (ssn) |
| Заканчивается глава кратким обсуждением темы генерации и отправки искусственных событий | the chapter concludes with a brief discussion of creating and dispatching synthetic events (см. "JavaScript: The Definitive Guide, 5th Edition" by David Flanagan 2006) |
| Именно события такого рода и рассматриваются в настоящей главе | these are the types of events examined in this chapter |
| как и всё производство ПО, структурное проектирование – непрерывная, итерационная и пошаговая работа. Первоначально структурные решения принимаются на основе широкого взгляда на структуру ПО. Одно из первых принятых решений касается структурирования системы на уровни модулей и установления принципов связи между модулями. это тема данной главы. Более детальные структурные решения, типа связи внутри модуля, рассматриваются позже в соответствующих местах книги | Like all software production, architectural design is a continuing, iterative and incremental, effort. Early architectural decisions take a broad view on the software architecture. One of the first decisions to be taken relates to structuring the system into layers of modules and establishing principles of inter-module communication. This is the concern of this chapter. More detailed architectural solutions, such as intra-module communication, are discussed in relevant places later in the book (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| настоящая глава | this chapter (ssn) |
| Некоторые из численных методов, описанных в этой главе, являются примерами чрезвычайно общей вычислительной стратегии, называемой пошаговое улучшение | Several of the numerical methods described in this chapter are instances of an extremely general computational strategy known as iterative improvement (см. Harold Abelson and Gerald Jay Sussman with Julie Sussman 1999, Structure and Interpretation of Computer Programs ssn) |
| обзор содержания книги по главам | summary of the book by chapters (ssn) |
| Обратите также внимание, что разработка и код итерации 1 условно оптимальны по педагогическим причинам. Многие важные объектно-ориентированные технологии не использовались в итерации 1 из-за заложенной в книге педагогики и принятой последовательности представления тем. Соответственно, обсуждение рефакторинга в этой главе также условно оптимально | Note also, that the development and code of Iteration 1 is suboptimal for pedagogically-motivated reasons. Many important object-oriented technologies were not used in Iteration 1 because of the book's pedagogy and the adopted sequence of topic presentation. Accordingly, the discussion of refactoring in this chapter is suboptimal as well (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |
| Поскольку среди разработчиков операционных систем нет единого мнения по вопросу о том, как лучше всего проектировать операционные системы, эта глава будет носить более личный характер, более умозрительный и, несомненно, более противоречивый, чем предыдущие главы | Since no consensus exists among operating system designers about the best way to design an operating system, this chapter will thus be more personal, speculative, and undoubtedly more controversial than the previous ones (см. Modern Operating Systems Third ed. by Tanenbaum A.S. 2009 ssn) |
| Посредством рассмотрения первого большого проекта игры "Жизнь" Дж. Конвея глава 1 вводит принципы нисходящей детализации, проектирования программы, критического обзора и тестирования | By working through the first large project Conway's game of Life, Chapter 1 expounds principles of top-down refinement, program design, review, and testing, principles (ssn) |
| почему эту главу стоит прочесть? | why Is This Chapter Worth Reading? (ssn) |
| предыдущая глава | preceding chapter (ssn) |
| Предыдущие главы части B были сконцентрированы на моделировании "бизнес-объектов", классифицируемых как бизнес-сущности Глава 6, классы предметной области Глава 7 и концептуальные классы Глава 8. Однако "бизнес-объекты" – всего лишь множество классов в объектно-ориентированной программе | Previous chapters in Part B of this book concentrated on modeling "business objects" classified as business entities Chapter 6, domain classes Chapter 7 and conceptual classes Chapter 8. But "business objects" are but one set of classes in an object-oriented program (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |
| Предыдущие главы части B были сконцентрированы на моделировании "бизнес-объектов", классифицируемых как бизнес-сущности Глава 6, классы предметной области Глава 7 и концептуальные классы Глава 8. Однако "бизнес-объекты" всего лишь множество классов в объектно-ориентированной программе | Previous chapters in Part B of this book concentrated on modeling business objects classified as business entities Chapter 6, domain classes Chapter 7 and conceptual classes Chapter 8. But business objects are but one set of classes in an object-oriented program (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering ssn) |
| содержание книги по главам | book by chapters (ssn) |
| ссылка на главы | chapter link (ssn) |
| теоретические сведения, изложенные в этой главе | theory in this chapter (ssn) |
| Технологическая система из предыдущей главы повторена на рисунке 3.4 | the process system of the previous chapter is repeated in Figure 3.4 (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
| это и другие аналогичные преобразования программ рассматриваются в главе 12 | we examine this and related kinds of program transformations in Chapter 12 (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn) |
| это тема данной главы | this is the concern of this chapter (ssn) |
