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.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
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 ...
Higdon, Johnathan L. (Monterey California. Naval Postgraduate School, 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 ...
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 ...