Reports and Technical Reports
Engineering Automation for Reliable Software Interim Progress Report (10/01/2000 - 09/30/2001)
(Monterey, California. Naval Postgraduate School, 2001-09); NPS-SW-01-004
The objective of our effort is to develop a scientific basis for producing reliable
software that is also flexible and cost effective for the DoD distributed software domain.
This objective addresses the long term goals ...
Material Planning for Remanufacturing Defense Assets
(2008-03); NPS-PM-08-020
This paper develops a planning system for depots remanufacturing components of defense assets, such as helicopters, armored cars, and so forth. These depots take in used assets, disassemble them, repair, upgrade and ...
Management System for Heterogeneous Networks Final Report, Volume I: Project Summary and Papers (Part A)
(Monterey, California. Naval Postgraduate School, 2000-04-14); NPS-CS-00-006
The goal of the MSHN Project was to explore the application of adaptive and heuristic matching and scheduling techniques, and modem
distributed security methods, to a distributed heterogeneous resource management system ...
Assessment of DMSO Conceptual Models of the Mission Space (Progress Report 1/01/2000 - 12/31/2000)
(Naval Postgraduate School, 2001-01); NPS-SW-01-001
Decision Support for Formal Method Selection
(Naval Postgraduate School, 2002-07); NPS-SW-02-007
High-confidence Development and Evolution for System of Embedded Systems
(Naval Postgraduate School, 2002-12); NPS-02-SW-015
The objectives of the proposed research is to present a set of systematic technologies to accomplish high-confidence development and evolution of systems of embedded systems (SoES). These systematic technologies include ...
Approach for Highly Dependable Software-Intensive Systems
(Naval Postgraduate School, 2002-11); NPS-SW-02-012
he objectives of the proposal are creating new methods and tools for effective constructing software-intensive systems based on multiple perspectives that are used to reflect differing stakeholder's concerns. The models ...
Adaptive Middleware Framework for Distributed Embedded Applications
(Naval Postgraduate School, 2002-07); NPS-SW-02-010
The object of proposed work is to provide an adaptive middleware framework for component-based applications in distributed embedded systems. Through this middleware, programmer can make service invocation with Quality of ...
Human Factors Based Tools for Dependable Interactive Systems Development
(Monterey, California. Naval Postgraduate School, 2002-07); NPS-SW-02-009
The objectives ofthe proposed research are to develop an integrated framework and supporting tools for the development o f a dependable interactive system. This proposed research promotes steps toward the integration o f ...
Dependability-Assured Software Transformation
(Monterey, California. Naval Postgraduate School, 2002-07); NPS-SW-02-008
The proposed research is to create new paradigm of software transformation and analysis tools that will incorporate computer-aided prototyping system (CAPS) into dependability-assured software transformational platform ...