- formal development
- лог. формальное разложение
Большой англо-русский и русско-английский словарь. 2001.
formal development
Смотреть что такое "formal development" в других словарях:
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Development communication — Development Communication, has been alternatively defined as a type of marketing and public opinion research that is used specifically to develop effective communication or as the use of communication to promote social development. Defined as the … Wikipedia
Formal and material principles of theology — Formal principle and material principle are two categories in Christian theology to identify and distinguish the authoritative source of theology (formal principle) from the theology itself, especially the central doctrine of that theology… … Wikipedia
Development aid — Development aid, German stamp (1981). Development aid or development cooperation (also development assistance, technical assistance, international aid, overseas aid, Official Development Assistance (ODA) or foreign aid) is aid given by… … Wikipedia
Development control in the United Kingdom — Development control, planning control, or (in Scotland) development management is the element of the United Kingdom s system of town and country planning through which local government regulates land use and new building. It relies on a plan led… … Wikipedia
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
Formal Methods Europe — (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer based systems. The association s members are drawn from academia and industry. It is based… … Wikipedia
Formal wear — Western dress codes Formal wear Formal Semi formal Informal Smart casual Business casual Casual Active attire Formal wear (US, Canada) and formal dress (UK, Australia, New Zealand, and other Commonwealth Realms) are the general terms for clothing … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … 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 specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
