Required-COBOL. A minimal subset of {COBOL} developed in 1961. It was later dropped entirely. [Sammet 1969, p. 339]. (1994-11-30) requirements. The first stage of software development which defines what the potential users want the system to do. In modern methods these requirements should be testable, and will usually be traceable in later development stages. A common feature of nearly all software is that the requirements change during its lifetime. See {software life-cycle}. (1995-11-11) Requirements Acquisition and Controlled Evolution. (RACE) A "back to basics" approach to {requirements engineering}. The method, is being pieced together through a series of intermediate research studies. In essence, the approach has been to establish requirements for RACE, identify individual techniques that meet those requirements, experiment with the combined use of the techniques, and finally assemble the method. In practice, RACE has been influenced significantly by Checkland and Wilson's {Soft Systems Methodology} (SSM) and this forms the core of the method. (1995-11-21) requirements analysis. The process of reviewing a business's processes to determine the business needs and {functional requirements} that a system must meet. (1996-08-01) Requirements Engineering. The task of capturing, structuring, and accurately representing the user's {requirements} so that they can be correctly embodied in systems which meet those requirements (i.e. are of good quality). {DOORS} is one product to help with this task. (1995-11-11) Research Systems, Inc.. (RSI) Distributors of {Interactive Data Language} (IDL). {(ftp://gateway.rs.inc.com/pub/)}. E-mail: . (1994-10-07) reserved memory. The address range 640-1024 {kilobytes} on an {IBM PC}, reserved for {BIOS}, {video cards}, and add-on cards. Depending on the configuration some of the address space may be unused in which case it can be used by {EMS} or {UMB}. (1996-01-10) resolution. 1. the maximum number of {pixels} that can be displayed on a {monitor}, expressed as (number of horizontal pixels) x (number of vertical pixels), i.e., 1024x768. The ratio of horizontal to vertical resolution is usually 4:3, the same as that of conventional television sets. 2. A mechanical method for proving statements of {first order logic}, introduced by J. A. Robinson in 1965. Resolution is applied to two {clauses} in a {sentence}. It eliminates, by {unification}, a {literal} that occurs "positive" in one and "negative" in the other to produce a new clause, the {resolvent}. For example, given the sentence: The literal "man(X)" is "negative". The literal "man(socrates)" could be considered to be on the right hand side of the degenerate implication and is therefore "positive". The two literals can be unified by the binding X = socrates. The {truth table} for the implication function is (The implication only fails if its premise is true but its conclusion is false). From this we can see that Which is why the left hand side of the implication is said to be negative and the right positive. The sentence above could thus be written Distributing the AND over the OR gives And since (NOT A) AND A == False, and False OR A == A we can simplify to just So we have proved the new literal, mortal(socrates). Resolution with {backtracking} is the basic control mechanism of {Prolog}. See also {modus ponens}, {SLD Resolution}. 3. {address resolution}. (1996-02-09) resolver. The {TCP/IP} {protocol} library software that formats requests to be sent to the {Domain Name Server} for {hostname} to {Internet address} conversion. (1995-03-28) Resource Access Control Facility. (RACF) {IBM}'s large system security product. It originally ran only under {MVS} but has since been ported to run under {VM}. (1995-02-07)
