Words starting with modeo
Maybe these words will be useful:
- mode bit — A flag, usually in hardware, that selects between two (usually quite different) modes of operation. The connotations are different from flag bit in that mode bits are mainly written during a boot or set-up phase, are seldom explicitly read, and seldom change over the lifetime of an ordinary program. The classic example was the EBCDIC-vs.-ASCII bit (#12) of the Program Status Word of the IBM 360. Another was the bit on a PDP-12 that controlled whether it ran the PDP-8 or the LINC instruction set.
- model checking — (theory, algorithm, testing) To algorithmically check whether a program (the model) satisfies a specification. The model is usually expressed as a directed graph consisting of nodes (or vertices) and edges. A set of atomic propositions is associated with each node. The nodes represents states of a program, the edges represent possible executions which alters the state, while the atomic propositions represent the basic properties that hold at a point of execution. A specification language, usually some kind of temporal logic, is used to express properties. The problem can be expressed mathematically as: given a temporal logic formula p and a model M with initial state s, decide if M,s \models p.
- modef — Pascal-like language with polymorphism and data abstraction. "Definition of the Programming Language MODEF", J. Steensgard-Madsen et al, SIGPLAN Notices 19(2):92-110 (Feb 1984).
- modeling language — modelling language
- modem7 — A batch file transfer protocol. See also XMODEM.
- modelling language — (language) Possibly a kind of programming language designed for describing models and their behaviour. See also data modelling, object relational model, simulation, UML, VRML.
- model-view-controller — (programming) (MVC) A way of partitioning the design of interactive software; a software architecture pattern. The "model" is the internal workings of the program (the data objects and algorithms), the "view" is how the user sees the state of the model and the "controller" is how the user changes the state or provides input. MVC was the original kind of what is now sometimes called an MV* pattern. Trygve Reenskaug introduced it into Smalltalk-76 while visiting Xerox PARC in the 1970s.
- model-view-presenter — (programming) (MVP) A user interface architectural pattern where functions are separated between the model, view and presenter. The model defines the data to be displayed or otherwise acted upon in the user interface. The view displays data from the model and routes user commands (events) to the presenter to act upon that data. The presenter retrieves data from the model and displays it in the view. The implementation of MVP can vary as to how much presentation logic is handled by the presenter and the view. In a web application most presentation logic is usually in the view which runs in the web browser. MVP is one of the MV* variations of the MVC pattern.
- modelsim — (simulation) A simulation tool for programming VLSI ASICs, FPGAs, CPLDs, and SoCs.
- moded — Simple past tense and past participle of mode.