Thesis (M.S.)--U.S. Naval Postgraduate School. / "AD-769 745." eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.

Thesis--Auburn University, 2009. / Abstract. Vita. Includes bibliographical references (p. 67-69).

Project report (M.S.)--Virginia Polytechnic Institute and State University. M.S. 1992. / Abstract. Includes bibliographical references (leaves 101-106). Also available via the Internet.

Thesis (M.S.)--U.S. Naval Postgraduate School. / "AD-769 745." Includes bibliographical references. Also issued in print.

Thesis (M.S. in Management)--Naval Postgraduate School, June 1990. / Thesis Advisor(s): Gorman, Linda ; Crawford, Alice M. "June 1990." Description based on title screen as viewed on 20 October 2009. DTIC Identifier(s): Cost benefit, individualized instruction, opportunity costs. Author(s) subject terms: Instructional systems development, cost-benefit, military training, individualized instruction, cost-effectiveness, opportunity costs. Includes bibliographical references (p. 70-71). Also available in print.

Thesis (Ph. D.)--University of Texas at Austin, 2005. / Supervisor: Anthony P. Ambler. Vita. Includes bibliographical references.

The enterprises that deliver capability are trying to evolve into through-life businesses by shifting away from the traditional pattern of designing and manufacturing successive generations of products, towards a new paradigm centred on support, sustainability and the incremental enhancements of existing capabilities from technology insertions and changes to process. The provision of seamless through-life customer solutions depends heavily on management of information and knowledge between, and within the different parts of the supply chain enterprise. This research characterised and described Capability Engineering (CE) as applied in the defence enterprise and identified to BAE Systems important considerations for managing knowledge within that context. The terms Capability Engineering and Through Life Capability Management (TLCM), used synonymously in this thesis, denote a complex evolving domain that requires new approaches to better understand the different viewpoints, models and practices. The findings and novelty of this research is demonstrated through the following achievements: • Defined the problem space that Requirements Engineers can use in through-life management projects. • Made a contribution to the development of models for Systems Architects to enable them to incorporate 'soft' systems within their consideration. • Independently developed a TLCM activity model against which BAE Systems validated the BAE Systems TLCM activity model, which is now used by UK Ministry of Defence (MoD). • Developed, and published within INCOSE1, the INCOSE Capability Engineering ontology. • Through the novel analysis of a directly applicable case study, highlighted to Functional Delivery Managers the significance of avoiding the decoupling of information and knowledge in the context of TLCM. • Through experimentation and knowledge gained within this research, identified inadequacies in the TechniCall (rapid access to experts) service which led to the generation of requirements for an improved service which is now being implemented by BAE Systems. The results showed that managing knowledge is distinct when compared to information management. Over-reliance on information management in the absence of tacit knowledge can lead to a loss in the value of the information, which can result in unintended consequences. Capability is realised through a combination of component systems and Capability Engineering is equivalent to a holistic perspective of Systems Engineering. A sector-independent Capability Engineering ontology is developed to enable semantic interoperability between different domains i.e. defence, rail and information technology. This helped to better understand the dependencies of contributing component systems within defence, and supported collaboration across different domains. Although the evaluation of the ontology through expert review has been accomplished; the ontology, KM analysis framework and soft systems transitioning approach developed still need to undergo independent verification and validation. This requires application to other case studies to check and exploit their suitability. This Engineering Doctorate research has been disseminated through a number of peer reviewed publications.

Batch processing is a means of improving the efficiency of transaction processing systems. Despite the maturity of this field, there is no rigorous theory that can assist in the design of batch systems. This thesis proposes such a theory, and shows that it is practical to use it to automate system design. This has important consequences; the main impediment to the wider use of batch systems is the high cost of their development and intenance. The theory is developed twice: informally, in a way that can be used by a systems analyst, and formally, as a result of which a computer program has been developed to prove the feasibility of automated design. Two important concepts are identified, which can aid in the decomposition of any system: 'separability', and 'independence'. Separability is the property that allows processes to be joined together by pipelines or similar topologies. Independence is the property that allows elements of a large set to be accessed and updated independently of one another. Traditional batch processing technology exploits independence when it uses sequential access in preference to random access. It is shown how the same property allows parallel access, resulting in speed gains limited only by the number of processors. This is a useful development that should assist in the design of very high throughput transaction processing systems. Systems are specified procedurally by describing an ideal system, which generates output and updates its internal state immediately following each input event. The derived systems have the same external behaviour as the ideal system except that their outputs and internal states lag those of the ideal system arbitrarily. Indeed, their state variables may have different delays, and the systems as whole may never be in consistent state. A 'state dependency graph' is derived from a static analysis of a specification. The reduced graph of its strongly-connected components defines a canonical process network from which all possible implementations of the system can be derived by composition. From these it is possible to choose the one that minimises any imposed cost function. Although, in general, choosing the optimum design proves to be an NP-complete problem, it is shown that heuristics can find it quickly in practical cases. / Thesis (Ph.D.)--Mathematical and Computer Sciences (Department of Computer Science), 1999.

Batch processing is a means of improving the efficiency of transaction processing systems. Despite the maturity of this field, there is no rigorous theory that can assist in the design of batch systems. This thesis proposes such a theory, and shows that it is practical to use it to automate system design. This has important consequences; the main impediment to the wider use of batch systems is the high cost of their development and intenance. The theory is developed twice: informally, in a way that can be used by a systems analyst, and formally, as a result of which a computer program has been developed to prove the feasibility of automated design. Two important concepts are identified, which can aid in the decomposition of any system: 'separability', and 'independence'. Separability is the property that allows processes to be joined together by pipelines or similar topologies. Independence is the property that allows elements of a large set to be accessed and updated independently of one another. Traditional batch processing technology exploits independence when it uses sequential access in preference to random access. It is shown how the same property allows parallel access, resulting in speed gains limited only by the number of processors. This is a useful development that should assist in the design of very high throughput transaction processing systems. Systems are specified procedurally by describing an ideal system, which generates output and updates its internal state immediately following each input event. The derived systems have the same external behaviour as the ideal system except that their outputs and internal states lag those of the ideal system arbitrarily. Indeed, their state variables may have different delays, and the systems as whole may never be in consistent state. A 'state dependency graph' is derived from a static analysis of a specification. The reduced graph of its strongly-connected components defines a canonical process network from which all possible implementations of the system can be derived by composition. From these it is possible to choose the one that minimises any imposed cost function. Although, in general, choosing the optimum design proves to be an NP-complete problem, it is shown that heuristics can find it quickly in practical cases. / Thesis (Ph.D.)--Mathematical and Computer Sciences (Department of Computer Science), 1999.

Thesis (M.App.Sc.) - Carleton University, 2007. / Includes bibliographical references (p. 110-112). Also available in electronic format on the Internet.