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.
Phelps, David; Levin, Timothy E.; Auguston, Mikhail (International Conference on i-Warfare and Security, 2008-06-01);We describe the specification of the formal security policy model and formal top-level specification for the Least Privilege Separation Kernel (LPSK) in Alloy, a relatively new modelling language and analysis tool. The ...
Stacking the deck: can we better develop future homeland security leaders with formal mentoring programs? Taylor, Todd M. (Monterey, California: Naval Postgraduate School, 2014-09);Informal mentoring appears to be the status quo in homeland security agencies for leadership development. However, informal mentoring is flawed due to the lack of organizational input into the quantity or quality of the ...
Luqi (1995);The purpose of the workshop is to assess current efforts, to identify results and directions for increasing the degree of automation, to build a common understanding about the integration of methods and tools, and ...