| English | Russian |
| 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) |
| 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) |
| 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) |
| 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) |
| theory in this chapter | теоретические сведения, изложенные в этой главе (ssn) |
| these are the types of events examined in this chapter | Именно события такого рода и рассматриваются в настоящей главе |
| this chapter | данный раздел (ssn) |
| this chapter | настоящая глава (ssn) |
| this chapter | данная глава (ssn) |
| this chapter describes type and subtype declarations, the various kinds of object declaration, alias declarations, attribute declarations, and component declarations | Данный раздел содержит описание объявлений типов и подтипов, различных видов объявлений объектов, объявлений дополнительных имён, объявлений атрибутов и объявлений компонентов (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn) |
| this chapter introduces and explores the uses of state machines | в данной главе вводятся и исследуются методы использования конечных автоматов (ssn) |
| this is the concern of this chapter | это тема данной главы (ssn) |
| we examine this and related kinds of program transformations in Chapter 12 | это и другие аналогичные преобразования программ рассматриваются в главе 12 (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn) |
| why Is This Chapter Worth Reading? | почему эту главу стоит прочесть? (ssn) |
