The problem of undefinedness in specifications.
Lengenfelder, Douglas Robert
MetadataShow full item record
Conventional approaches to the formal specifications of computing systems do not provide a facility for leaving elements undefined. The purpose of this thesis is to introduce a formalism for such a facility and to examine its affect on the underlying semantics. These ideas are thus a modification of conventional formalism using algebraic semantics.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Shoemaker, Jerry J (1997);After almost ten years of experience and formal education in design, construction, and facility operations and maintenance, the challenges and complexity of facility management still seem overwhelming and intangible. This ...
Hardy, H.D.; Bell, R.W. (Monterey, California. Naval Postgraduate School, 1963);Acceptance testing of the Turbojet Engine Test Chamber was conducted during the week of 9 December 1963 by personnel from the U.S. Naval Post graduate School, Department of Aeronautics, from the Overhaul and Repair ...
Higdon, Johnathan L. (2007);The purpose of this paper is to determine the value of BOS contracts to the U.S. Navy with regards to Facility Service Contracting. Facility service contracting generally is NOT an inherently governmental function and is ...