-
1 language
- advanced Boolean expression language
- advanced continuous simulation language
- application control language
- application data description language
- asynchronous circuit design language
- basic design language for structure
- behavioral description language
- behavioral modeling language
- block diagram language
- block structured language
- computer language
- computer design language
- computer-sensitive language
- context-sensitive matrix language
- continuous system modeling program language
- continuous system simulation language
- control and simulation language
- data асcess system language
- declarative language
- design language
- digital design language
- formal layout description language
- general-purpose language
- geometrical layout description language
- graphics-oriented language
- hardware description language
- hierarchical specification language
- high-level language
- imperative language
- integrated-circuit design language
- linear information processing language
- linkage control language
- logic, timing, sequencing language
- low-level language
- machine-dependent language
- machine-independent language
- modeling language
- modular language
- multilevel-architecture description language
- network description language
- network restructuring language
- nonprocedural language
- operating-system simulation language
- operational control language
- operator-oriented language
- overview language
- parallel context-free array language
- problem-oriented language
- procedural language
- program assembly language
- rational language
- real-time language
- register transfer level language
- self-extending language
- structured design language
- structure description language
- symbolic layout description language
- type 0 1, 2, 3 language
- type 0 language
См. также в других словарях:
formal structure — formal structure, formal organization A term first used by the Human Relations Movement for the managerial blueprint, organizational chart, or chain of authority and communication in an organization. It may be contrasted with the informal… … Dictionary of sociology
Formal organization — is a fixed set of rules of intra organization procedures and structures. As such, it is usually set out in writing, with a language of rules that ostensibly leave little discretion for interpretation. In some societies and in some organization,… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
formal — form|al1 W2S2 [ˈfo:məl US ˈfo:r ] adj ▬▬▬▬▬▬▬ 1¦(official)¦ 2¦(behaviour)¦ 3¦(language)¦ 4¦(event/occasion)¦ 5¦(clothes)¦ 6 formal education/training/qualifications 7¦(organized)¦ 8¦(garden/park)¦ ▬▬▬▬▬▬▬ [Date: 1300 1400; : Latin; … Dictionary of contemporary English
formal — formal1 formalness, n. /fawr meuhl/, adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects. 2. marked by form or ceremony: a formal occasion. 3. designed for wear or use at occasions or … Universalium
formal — for•mal [[t]ˈfɔr məl[/t]] adj. 1) being in accordance with the usual requirements, customs, etc.; conventional: to pay one s formal respects[/ex] 2) marked by form or ceremony: a formal occasion[/ex] 3) clo designed for wear or use at elaborate… … From formal English to slang
structure, formal — See formal structure … Dictionary of sociology
formal organization — See formal structure … Dictionary of sociology
formal — for·mal adj 1: relating to or involving outward form, structure, or arrangement rather than content a formal defect in the pleadings 2: requiring special or established solemnities or formalities esp. in order to be effective or valid under the… … Law dictionary
formal — [fôr′məl] adj. [ME < L formalis < forma, FORM] 1. of external form or structure, rather than nature or content 2. of the internal form; relating to the intrinsic or essential character or nature 3. of or according to prescribed or fixed… … English World dictionary
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia