logical framework
Смотреть что такое "logical framework" в других словарях:
Logical framework approach — This article is about the management tool. For the automated theorem proving approach, see logical framework. The Logical Framework Approach (LFA) is a management tool mainly used in the design, monitoring and evaluation of international… … Wikipedia
LF (logical framework) — In type theory, the LF logical framework provides a means to define (or present) logics. It is based on a general treatment of syntax, rules and proofs by means of a dependently typed lambda calculus. Syntax is treated in a style similar to, but… … Wikipedia
Framework interpretation (Genesis) — This article focuses on the views of certain Christian commentators and theologians. For a more general account of the topic, see Creation according to Genesis. For a canvass of some of the Jewish approaches, see Jewish views on evolution. The… … Wikipedia
Logical Disk Manager — The Logical Disk Manager (diskmgmt.msc) is an implementation of a logical volume manager for Microsoft Windows NT, developed by Microsoft and Veritas Software. It was introduced with the Windows 2000 operating system, and is supported in Windows… … Wikipedia
ADO.NET Entity Framework — is an object relational mapping (ORM) framework for the .NET Framework. This framework is Microsoft s first ORM offering for the .NET Framework. While Microsoft provided objects to manage the Object relational impedance mismatch (such as a… … Wikipedia
Department of Defense Architecture Framework — DoD Architecture Framework.[1] The Department of Defense Architecture Framework (DoDAF) is an architecture framework for the United States Department of Defense, that provides structure for a specific stakeholder concern through viewpoints… … Wikipedia
Zachman framework — The Zachman Framework is a classification structure often used in Information Technology departments by the teams responsible for developing and documenting an Enterprise Architecture. The Framework is used for organizing architectural artifacts… … Wikipedia
Component-based Scalable Logical Architecture — (CSLA) is a software framework created by Rockford Lhotka that provides a standard way to create robust object oriented programs using business objects. Business objects are objects that abstract business entities in an object oriented program.… … Wikipedia
Spring Framework — Infobox Software name = Spring Framework caption = developer = [http://www.springsource.com SpringSource] latest release version = 2.5.5 latest release date = release date|2008|06|23 latest preview version = latest preview date = operating system … Wikipedia
AGATE (architecture framework) — AGATE (Atelier de Gestion de l ArchiTEcture des systèmes d information et de communication) is a framework for modeling computer or communication systems architecture.It is promoted by the Délégation Générale pour l Armement (DGA), the French… … Wikipedia
Neurodevelopmental Framework — for Learning=A framework is an organizing structure through which learners and learning can be understood. Intelligence theories and neuropsychology inform many of them. The framework described below is a neurodevelopmental framework for learning … Wikipedia
